On Tue, 28 Nov 2023 at 07:52, Gernot Heiser via Devel devel@sel4.systems wrote:
On 28 Nov 2023, at 12:43, Benjamin J. Kelly Benjamin.Kelly@windsorlake.llc wrote:
Forgive me for thinking out loud here but I think that a unikernel
application is simply a monolithic application with zero or minimal traditional OS system calls, i.e., an application that runs 100% (or very near it) in User Space. If seL4 is used as a highly secure scheduler/executive then there should be no issues I can see with seL4 scheduling 'unikernel' apps.
Sorry, forgot to add the link: https://trustworthy.systems/publications/abstracts/Elphinstone_ZMH_17.abstra...
Gernot _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
What I meant is that making a unikernel in firmware with seL4 will be difficult due to its inherent design.