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