28 Nov
2023
28 Nov
'23
2:45 p.m.
On 28 Nov 2023, at 12:43, Benjamin J. Kelly
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.
In fact, it’s been done (quite a while ago, in fact). Gernot