Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4

For the past ten years I have been working on a side project which I have taken to call Neptune OS [1], named after the ill-fated Microsoft Windows codename. Neptune OS is a Windows NT-like operating