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