[sanxiyn]

You can do something like rump kernel to reuse drivers.

https://rumpkernel.github.io/