Would it be possible to run Linux as a unikernel and port your application as a kernel module? How a leaned down Linux kernel would compare to includeOS?
A leaned down Linux-kernel with the application linked into kernel space would be pretty comparable. But it would be pretty enormous beast.