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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
