Problem in Installing Genode OS
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. -- Thanks and Regards, Amit Goyal
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, -- Alexander Boettcher Genode Labs https://www.genode-labs.com - https://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
participants (2)
-
Alexander Boettcher -
Amit Goyal