18 Apr
2024
18 Apr
'24
9:12 p.m.
On 18 Apr 2024, at 20:38, Hugo V.C. <skydivebcn@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