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@...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
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.sarkar@...552... ; subhadeepsarkarybs@...54... Phone: +33 2 99 84 73 52
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,
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@...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@...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@...1...> To: "Genode OS Framework Mailing List" genode-main@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,
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 -
Subhadeep Sarkar