search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
87 stars 48 forks source link

Expose the microkit API from within a Linux VM #247

Open wucke13 opened 1 week ago

wucke13 commented 1 week ago

It would be excellent if the Microkit API would be usable from within a Linux VM.

Ivan-Velickovic commented 1 week ago

From guest user-space or from the Linux kernel itself? I'm assuming Linux user-space but want to double check.

wucke13 commented 1 week ago

From use-space. I guess from a kernel module, one could likely just verbatim use the microkit.h API. However, most people really want Linux for its user-space, so this functionality should be exposed to user-space. Ideally, without requiring a custom patched kernel.