News for hackers. Stuff that matters.

A comment on ExectOS – brand new operating system which derives from NT architecture. Parent comment

Re:ExectOS – brand new operating system which derives from N... by NetOpWibby on Wednesday June 19, 2024 @11:41AM (#40729309)
Please tell me you're working on this.
[ Parent | on HN ]
Re:ExectOS – brand new operating system which derives from N... by snvzz on Thursday June 20, 2024 @01:49AM (#40735352)
Not him, but multiple such efforts (not necessarily matching your exact description) exist.

LionsOS[0] is an effort by the seL4 foundation itself.

Makatea[1] is trying to implement a Qubes-equivalent on a safer seL4 base.

Genode[2] is an OS framework built around capabilities that supports several microkernels including seL4 itself.

0. https://lionsos.org/

1. https://trustworthy.systems/projects/makatea/

2. https://genode.org/

[ Parent | on HN ]
Re:ExectOS – brand new operating system which derives from N... by NetOpWibby on Thursday June 20, 2024 @02:01AM (#40735409)
DOPE

Thanks for sharing!

[ Parent | on HN ]
Re:ExectOS – brand new operating system which derives from N... by snvzz on Thursday June 20, 2024 @03:24AM (#40735884)
>DOPE

It's spelt DOpE[0].

0. https://os.inf.tu-dresden.de/~nf2/dope.html

[ Parent | on HN ]