3 ms·
There's an early version of the Win32 personality atop SeL4 called NeptuneOS (https://github.com/cl91/NeptuneOS https://github.com/cl91/NeptuneOS)
by dark-star 3y ago
There's an early version of the Win32 personality atop SeL4 called NeptuneOS (https://github.com/cl91/NeptuneOS https://github.com/cl91/NeptuneOS)