And the website: http://www.includeos.org/ .
Directly from their git repo (https://github.com/hioa-cs/IncludeOS)
Any thoughts?IncludeOS is an includable, minimal unikernel operating system for C++ services running in the cloud. Starting a program with #include <os> will literally include a tiny operating system into your service during link-time.
I haven't got the time to actually play with it, but I will certainly try to make some.