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,