On Sat, 31 Jul 2021, 8:54 pm Andrew Warkentin, <[email protected]> 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 -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to