On 1/29/20, abdi mahmud haji <[email protected]> wrote: > hi > i have been wondering how can i install or put another OS( like , window > ,linux )on the top of seL4 microkernel > can some one help > AFAIK the only way to do this at the moment is with camkes-vm, which only allows static configuration and may only support Linux guests.
https://docs.sel4.systems/Tutorials/camkes-vm-linux.html _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
