3 ms·
There already is an example of such an API, it's possible to use NetBSD drivers outside the NetBSD kernel with its rump kernel feature: https://research.csiro.a
by kryptiskt 5y ago
There already is an example of such an API, it's possible to use NetBSD drivers outside the NetBSD kernel with its rump kernel feature: https://research.csiro.au/tsblog/using-rump-kernels-to-run-unmodified-netbsd-drivers-on-sel4/ https://research.csiro.au/tsblog/using-rump-kernels-to-run-u...