Yhn EnvironmentEnvironment first seen 15 h ago, last 2 h ago, peak #3
Neptune OS runs Linux drivers in userspace on seL4
Original: Show HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4
A developer has shown off Neptune OS, an NT-like operating system built on the seL4 microkernel, demonstrating the ability to run Linux kernel drivers in userspace. The project aims to combine seL4's security guarantees with compatibility for existing Linux driver code, an approach that has drawn interest from the systems programming community.
Why now: The technical novelty of running Linux drivers in userspace on a formally verified microkernel is attracting attention among developers.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/393177