On 18 Apr 2024, at 19:18, Hugo V.C. <skydive...@gmail.com> wrote: > > "A web browser is a good example of this. The number of security > domains is at least the number of origins in use, which can be > extremely large. Furthermore, some origins might be CPU-intensive." > > Yes. That's the challenge when you try to use a solution aimed to static > systems for dynamic systems... Not sure how other will solve this,
Operating systems have been dealing with this kind of problem for well over half a century, it’s called the working-set model. You may have 1000s of processes, but very few are active during a time window, and you allocate the resources to them. Remember what virtual memory was originally introduced for? Allowing program memories to exceed the size of physical memory. All this is a matter for user mode. The microkernel’s job is to do the things usermode cannot. Gernot _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems