MikeTrendsTrends right now
AI: reposAPI

search

Neptune OS

Trends

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

    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.