Hi All,
I tried to run Genode OS (on x86-64, i5, ubuntu 16.04) via 3 means but could not succeed. Can someone please suggest a possible way out.
a) Running iso on virtual box [1] The system complete freezes and the corresponding error is: emR3Debug: rc=VERR_PGM_HANDLER_VIRTUAL_CONFLICT
b) Running iso on Qemu [1] The interface appears with following options: Introduction, Web Browser, Seamless Linux, OpenGL, Qt4. but none of the options work on clicking.
c) Building the kernel [2] After following all the instructions in [2] and creating the build directory, the last command <<make KERNEL=linux demo>> fails: Error: target 'demo' does not exist Makefile:211: recipe for target 'error_missing_targets' failed make: *** [error_missing_targets] Error 1
[1] https://genode.org/download/live-cds [2] https://genode.org/documentation/developer-resources/getting_started
Also, can you please direct us towards any other operating system which is built using the seL4 microkernel.
Hello,
On 02.10.2018 18:13, Amit Goyal wrote:
I tried to run Genode OS (on x86-64, i5, ubuntu 16.04) via 3 means but could not succeed. Can someone please suggest a possible way out.
Genode is not an OS - it is a framework to build your own OS.
Sculpt OS based on the Genode OS framework got released some weeks ago, which should serve well to get a first impression for end-user oriented people. Admittedly it is not running on seL4, but if it would it would look exactly the same.
https://genode.org/download/sculpt
Follow the instructions to get it running natively or in Virtualbox.
(I would discourage you to use [1], as it is heavily outdated as pointed out in the beginning of the webpage - it is over 8 years old ...)
c) Building the kernel [2] After following all the instructions in [2] and creating the build directory, the last command <<make KERNEL=linux demo>> fails:
Please follow the the instruction carefully, it is saying to invoke:
make KERNEL=linux run/demo
and not your command you provided.
[1] https://genode.org/download/live-cds [2] https://genode.org/documentation/developer-resources/getting_started
Also, can you please direct us towards any other operating system which is built using the seL4 microkernel.
Camkes is another option.
Cheers,