&gt; you could imagine a unikernel that did support fork() and preemptive multitasking but took advantage of the fact that every process trusts every other one<p>No need to imagine, this is exactly how Microsoft Singularity worked (it benefited from a language expressive enough to make that trust possible)