I'm doing a research on performance optimization of our team's verified security operating system project. Our prototype is based on Genode, and we add some security modules to implement a secure operating system. We did our modification on Genode 13.02, which I would compare with Genode 14.05 on performance.

I faild in doing "make prepare" in 3 folders, which are:

>\libports and \qt4:
--2014-08-25 23:44:04-- http://ftp.heanet.ie/mirrors/ftp.trolltech.com/pub/qt/solutions/lgpl/qtscriptclassic-1.0_1-opensource.tar.gz
resoluting ftp.heanet.ie (ftp.heanet.ie)... 193.1.193.64, 2001:770:18:aa40::c101:c140
connecting ftp.heanet.ie (ftp.heanet.ie)|193.1.193.64|:80... connected。
... 404 Not Found
2014-08-25 23:44:05 error 404：Not Found。

make: *** [download/qtscriptclassic-1.0_1-opensource.tar.gz] error 8

>\ports:
2014-08-26 23:28:11 (340 B/s) - “download/gdb-7.3.1.tar.bz2.sig” saved [65]

gpg: on 2011-09-05 Monday 02 h 28 m 51 s signature created by CST, using DSA，key No. FF325CF3
gpg: good signature, from“Joel Brobecker <brobecker@...264...>”
gpg: warning: ！
gpg: .
main key fingerprint: F40A DB90 2B24 264A A42E 50BF 92ED B04B FF32 5CF3
Signature check of file download/gdb-7.3.1.tar.bz2 passed
patching gdb...
patching file gdb/amd64-tdep.c
>(...some files...)
patching file gdb/configure
patching file missing
reg-arm.c updated.
i386.c updated.
i386-avx.c updated.
Error: Hash sum check for arora failed
make[2]: *** [arora.file] error 1
make[1]: *** [_install_in_port_dir] error 2
make: *** [prepare-arora] error 2

I'm not able to solve the problems, so I could not continue on my work.