30 Jan
2020
30 Jan
'20
1:10 a.m.
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
30 Jan
30 Jan
9:36 a.m.
On 1/29/20, abdi mahmud haji
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
1775
Age (days ago)
1775
Last active (days ago)
1 comments
2 participants
participants (2)
-
abdi mahmud haji
-
Andrew Warkentin