In a multikernel such as Barellfish, there are multiple copies of the kernel, but they all operate in the same
address space. This is slightly different from Cellular Disco, in which each kernel is operating in its separate
address space, but the underlying hardware is still shared. This is compared to a cluster of machines, in which the
kernel on each node operates in completely separate hardware resources.
We believe that OSmosis should be able to capture and distinguish between these scenarios.