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