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

Write your take first — we'll ask for email only when you're ready to publish.