Problem with running sel4 on Genode

[Subhadeep Sarkar]

Hi, 

Thank you for your quick response! 

The Genode version I am working on is 17.11 . I do need sudo for running the command. I can successfully run okl4, however. 

Error without sudo: 

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 

Error with sudo: 

subhadeep at ...554...:~/Git/genode$ ./tool/ports/prepare_port sel4 
sel4 update src/kernel/sel4 
sel4 apply /home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch 
patch: **** Can't create file src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h.orig : Permission denied 
/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 2 
/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 


Do you think the highlighted part in the message has something to do with the error or is it normal? 

Thank you once again! 


Yours sincerely, 
Subhadeep 

----- Original Message -----



From: "Alexander Boettcher" <alexander.boettcher at ...1...> 
To: "Genode OS Framework Mailing List" <genode-main at lists.sourceforge.net> 
Sent: Tuesday, January 23, 2018 12:53:48 PM 
Subject: Re: Problem with running sel4 on Genode 

Hi, 

On 23.01.2018 11:20, Subhadeep Sarkar wrote: 
> 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. 

on which Genode commit you are working respectively Genode release ? 

Please don't use sudo - you don't need root privileges to build Genode 
in general - or do you ? 

Cheers, 

-- 
Alexander Boettcher 
Genode Labs 

http://www.genode-labs.com - http://www.genode.org 

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden 
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth 

------------------------------------------------------------------------------ 
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 at lists.sourceforge.net 
https://lists.sourceforge.net/lists/listinfo/genode-main 




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