[bitc-dev] Retrospective Thoughts on BitC
naasking at higherlogics.com
Tue Apr 17 11:22:01 PDT 2012
On 17/04/2012 2:13 PM, Rob Earhart wrote:
> One good way to look at the hypervisor is that it's a kernel whose
> process ABI happens to almost exactly match the x64 hardware ABI, with
> just a couple of extensions for partition management. It provides
> hardware partitions, *not* virtual machines; virtual machine technology
> is provided by the root partition. It does all the other things a
> kernel does, though: it schedules threads onto cores, manages physical
> memory and the hypervisor virtual address space, handles inter-core
> messaging, inter-partition messaging, &c.
These are exactly the functions of a microkernel, which is why Jonathan
could make the case that hypervisors are microkernels. It's essentially
a microkernel with a monolithic driver service.
More information about the bitc-dev