4 ms·
There is already a somewhat-working port of the NT personality on the L4 µkernel (seL4 specifically) called NeptuneOS: https://github.com/cl91/NeptuneOS https:/
by dark-star 2y ago
There is already a somewhat-working port of the NT personality on the L4 µkernel (seL4 specifically) called NeptuneOS: https://github.com/cl91/NeptuneOS https://github.com/cl91/NeptuneOS
If you're into microkernels and/or the NT kernel model, I highly recommend checking it out