To me it doesn't sound implausible. It would need custom hardware though, because something like that has already been done on the PC world several years ago: hackintosh.
You see, when OS X was first ported to intel, it shared many features that you mention: tiny microkernel (based on BSD too...