Hello, Genode did some work to re-use (unmodified) Linux drivers as well, it might be worth combining forces in this regard. AFAIK they focussed on the kernel API side, I don't know what ABI they use on the user application side. https://github.com/genodelabs/genode/tree/master/repos/dde_linux Greetings, Inda On 2026-01-04 06:20, Dr. Chang Liu, PhD. via Devel wrote:
In theory if you implement the same interfaces that the NT Executive exposes to client drivers, potentially yes --- the relevant code has around 5K LOCs so it is not that big.
--- Dr. Chang Liu, PhD. github.com/cl91/NeptuneOS
On Tue, Dec 30, 2025 at 6:11 PM Demi Marie Obenour <demiobenour@gmail.com> wrote:
On 12/30/25 04:35, Dr. Chang Liu, PhD. via Devel wrote:
Additionally, due to the lack of high quality open-source Windows drivers, a big part of the next release will be focused on designing and building a subsystem which allows Linux drivers to run natively (without emulation) as userspace processes on Neptune OS, so stay tuned!
Is this something that could be reused for other seL4-based OSs? -- Sincerely, Demi Marie Obenour (she/her/hers)
Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems