microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
To revisit if/once https://github.com/seL4/seL4/issues/1536 is sorted out.
This PR adds support for patching a copy of a child PD's page tables into the parent. We add an extra attribute to the protection domain xml tag, if set...
Right now the notion of 'parent' and 'child' PDs means that the parent PD has access to the child PD's TCB capability and becomes the fault handler for the child....
Right now all mappings of memory regions require a virtual address given by the user. Most of the time, especially in conjunction with `setvar_vaddr`, you as the user might not...