4 ms·

Yet the way I see it there is more OS research going on with unikernels and at Microsoft Research labs than with Linux. Unikernels are just the logical continu

Yet the way I see it there is more OS research going on with unikernels and at Microsoft Research labs than with Linux. Unikernels are just the logical continuation of exokernels, except designed to run under a bare metal hypervisor. Though still excellent to see libOS taken to its limits, I find the task of actually turning a full workstation operating system into a secure multi-tenant distributed cluster system to be more versatile, as you could then tailor it to both general-purpose and special tasks, libOS being firmly in the latter - deploying applications. Singularity was great, though it seems to have stagnated.

pjmlp 11y ago
Singularity evolved into a few other projects, some of them now on .NET. The compilation of .NET to native code on Windows Phone 8.x with MDIL, and its successor .NET Native, can be traced back to Bartok. The Singularity's AOT compiler toolchain for Sing#. Microsoft research then went on to Drawbridge, Midori (still classified) and now IronClad. Then as programming languages that grew out of it there the M# which was mentioned around two years ago and not much more, and Dafny being used by IronClad.