microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Expose the microkit API from within a Linux VM

Open wucke13 opened this issue 1 year ago • 2 comments

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

wucke13 avatar Nov 05 '24 08:11 wucke13

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

Ivan-Velickovic avatar Nov 05 '24 10:11 Ivan-Velickovic

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.

wucke13 avatar Nov 05 '24 11:11 wucke13