Some problems in doing "make prepare" on Genode 14.05.

王硕 kloisiie at ...236...
Wed Aug 27 04:35:04 CEST 2014

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--
resoluting (, 2001:770:18:aa40::c101:c140
connecting (||: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
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 at ...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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list