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@subhadeep-VirtualBox:~/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.sar...@inria.fr ; subhadeepsarkar...@yahoo.com
Phone: +33 2 99 84 73 52
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
