On 18/04/24 12:12, Gernot Heiser via Devel wrote: > On 18 Apr 2024, at 20:38, Hugo V.C. <skydive...@gmail.com> wrote: > > The challenge that I probably didn't expressed correctly, is to integrate > seL4 on top of other dynamic systems (in example to virtualize a browser), as > seL4 needs to know in advance how much memory will have available... Running > seL4 on bare metal is a "kids game" (don't want to offend anyone), the > challenge is to integrate it on systems where resources are dynamically > assigned. > > I don’t think I understand. Running seL4 in any way other than on bare metal > makes no sense whatsoever. > > Gernot > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > Hi Gernot,
I agree. Hugo, What would be the point in doing what you suggest? The whole point of seL4 is to be as close to the silicon as possible. Regards, David _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems