[arbarb]

UKL is multi threaded, not multi process because there is no fork. Plus it's a Unikernel i.e., just one process. You don't need any scheduling code, Linux does it like it does normally for kernel and user threads.

[finnthehuman]

>You don't need any scheduling code, Linux does it like it does normally for kernel and user threads.

That's interesting, how does Linux implement it's kernel threads without any scheduling code?