Problem with running sel4 on Genode

Alexander Boettcher alexander.boettcher at ...1...
Tue Jan 23 14:24:58 CET 2018


Hi,

On 23.01.2018 13:59, Subhadeep Sarkar wrote:
> patch: **** Can't create file src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h.orig : Permission denied 

due to your sudo's before, the file got probably created as root user.

> /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? 
> 

No, it is not normal. I would suggest to delete all contrib/sel4-<hash>
sources and redo the prepare step of sel4. Avoid usage of sudo.

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




More information about the users mailing list