Expose the microkit API from within a Linux VM

[wucke13]

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

[Ivan-Velickovic]

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

[wucke13]

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.