On Tue, 28 Nov 2023 at 07:52, Gernot Heiser via Devel <[email protected]> wrote:
> On 28 Nov 2023, at 12:43, Benjamin J. Kelly <[email protected]> > 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.abstract > > Gernot > _______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] > What I meant is that making a unikernel in firmware with seL4 will be difficult due to its inherent design. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
