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
<[email protected]>
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 -- [email protected]
To unsubscribe send an email to [email protected]
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
