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
On 1/29/20, abdi mahmud haji abdimahmudhaji227@gmail.com 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.