Problem with running sel4 on Genode

Subhadeep Sarkar subhadeep.sarkar at ...552...
Tue Jan 23 11:20:14 CET 2018


Hi, 

I am facing some trouble while launching Sel4 on top of Genode. I am trying to do it by the document at https://genode.org/documentation/articles/sel4_part_1 . 

When I run the command: sudo ./tool/ports/prepare_port sel4, I get the following error, which I am unable to bypass. 

subhadeep at ...554...:~/Git/genode$ sudo ./tool/ports/prepare_port sel4 
sel4 update src/kernel/sel4 
sel4 apply /home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch 
1 out of 1 hunk FAILED -- saving rejects to file src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h.rej 
/home/subhadeep/Git/genode/tool/ports/mk/install.mk:129: recipe for target 'phony/patches//home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch' failed 
make[2]: *** [phony/patches//home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch] Error 1 
/home/subhadeep/Git/genode/tool/ports/mk/prepare_single_port.mk:38: recipe for target '_install_in_port_dir' failed 
make[1]: *** [_install_in_port_dir] Error 2 
tool/ports/prepare_port:33: recipe for target 'sel4' failed 
make: *** [sel4] Error 2 

I would really appreciated any help with this, as I am unable to decode the error. Thank you for your help! 


Yours sincerely, 
Subhadeep 



------------------------------------------------------------------------------------------- 
Subhadeep Sarkar, PhD 
Postdoctoral researcher, Univ Rennes, Inria, CNRS, IRISA 
Inria Rennes - Bretagne Atlantique 
Campus universitaire de Beaulieu 
35042 Rennes cedex, France 

Website: subhadeep.cf 
E-mail: subhadeep.sarkar at ...552... ; subhadeepsarkarybs at ...54... 
Phone: +33 2 99 84 73 52 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180123/0b8e300f/attachment.html>


More information about the users mailing list