Dear Norman and fellow‍s,

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/qtscrip... 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.

Thank you for all your assistance.

Yours Sincerely,

Shuo Wang University of Chinese Academy of Sciences.