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/qtscri…
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.
