[zokier]

"operating system" is not super well defined term, and the distinction is definitely bit blurry when it comes to unikernels like this.

To me maybe useful distinction is if the thing is able to function by itself, so is it a system by itself, or does it need additional pieces to become a whole system. Going by this categorization for example Linux is not an operating system by itself because you also need userland to function.

That being said, wikipedia does categorize unikernels as "library operating systems" https://en.wikipedia.org/wiki/Operating_system#Library

But if we accept that unikernels are operating systems, then the obvious question is what set services push something from library/framework to operating system. Is a disk/file-system driver an operating system? Its not like DOS did provide much more than that afterall.