On 4/18/24 07: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

I think the point is that if a system needs dynamic resource allocation,
_something_ needs to do it.  Traditional systems do this in the kernel.
seL4 declares this to be the responsibility of userspace, but I’m not
aware of a userspace component that can actually do that job.

Also, running seL4 in a virtualized environment makes a huge amount
of sense for testing and debugging, or if one is shipping a virtual
appliance.
-- 
Sincerely,
Demi Marie Obenour (she/her/hers)

_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to