On Sat, 31 Jul 2021, 8:54 pm Andrew Warkentin, <andreww...@gmail.com> wrote:
> > Even though the process server will run in user mode as far as the > hardware and microkernel are concerned, functionally it will be akin > to something above user processes but below the kernel. It will have > full access to all kernel objects in the system including all user > pages, CNodes, and endpoints (it won't actually map user pages except > if a process opens the associated file for read/write I/O as opposed > to mapping the file), Eeep. You want untyped access to cappages? I do understand that urge (for performance reasons). I would prefer to get around that by implementing an io_uring style async interface to kernel-implemented objects. The too-ing and fro-ing required to set up address mapping is eventually going to get onerous and will have to be solved with some rigour. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
