I’ve mentioned unikernels before but this looks particularly interesting. Many (silent 
) visitors of this forum will have a better handle on C++ than O’Caml.
A quick ‘cloc’ of the src directory shows between 17k-18k lines of C++ code with a tiny bit of assembly. So this thing is implementing the most relevant subset of an OS kernel in 17k lines of modern C++ code? Even if you don’t have any interest in unikernels, the code should still be very interesting.
>cloc .
http://cloc.sourceforge.net v 1.60 T=0.31 s (417.0 files/s, 87906.3 lines/s)
-------------------------------------------------------------------------------
Language files blank comment code
-------------------------------------------------------------------------------
C++ 97 3115 4922 16661
C/C++ Header 12 256 304 644
Assembly 12 94 175 399
make 2 94 89 262
C 4 48 117 262
Python 2 15 6 78
Bourne Shell 2 14 11 51
-------------------------------------------------------------------------------
SUM: 131 3636 5624 18357
-------------------------------------------------------------------------------