The tech IncludeOS builds on had a <i>lot</i> more than that in its lifetime. No telling what IncludeOS will have once people start digging into it. There&#x27;s an order of magnitude difference in host compromises between safe and unsafe code. That&#x27;s the point.<p>The language also has advantages in further analysis (eg type system), safe extension, and maintenance. So, even an apples to oranges comparison of the two on size looks in Ocaml&#x27;s favor as you get more for you KB. :)