Yhn EnvironmentEnvironment first seen 11 h ago, last 21 min ago, peak #3
Neptune OS runs Linux kernel drivers in userspace on seL4
Original: Show HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4
A project called Neptune OS, an NT-like operating system built on the seL4 microkernel, can run Linux kernel drivers in userspace. The announcement was shared with the developer community as a showcase, drawing attention for combining Linux driver compatibility with a formally verified microkernel base.
Why now: unclear
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/393177