[runeks]

That is correct. I guess what I wanted to point out is that it would be cool if Linux could become this - a library that you can compile into your program, rather than a program in which you run your programs (an OS).

[justincormack]

There is a library port of Linux, lkl https://github.com/lkl

[paulddraper]

Linux is purposefully and by design monolithic.

However, you could base your unikernal capabilities on the same interface (like POSIX).

Current unikernals: http://unikernel.org/projects/

[digi_owl]

The GPL would likely give any legal department pause for thought in that regard.