> (1) Porting the Plan 9 kernel to a microkernel architecture, such as > Mach. This would give Plan 9 instant access to the whole range of > hardware supported by the underlying microkernel.
This is kind of the opposite idea, but you could port the NetBSD rump kernel to Plan 9. It can then be used to interface with any device that the NetBSD kernel supports. https://research.csiro.au/tsblog/using-rump-kernels-to-run-unmodified-netbsd-drivers-on-sel4/ David ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T1c300cdbd9941edb-M9a5ff3bda8d7b59d0a265ad7 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
