Dear Norman and fellows,
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.