MikeTrendsTrends right now
AI: reposAPI

search

seL4

Trends

  1. 1
    Neptune OS runs Linux kernel drivers in userspace on seL4●Show HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4YhnEnvironment611 min ago

    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.