https://sel4.systems/home.pml

[prototechno]

#PFLab

[masami256]

セキュリティ重視のL4マイクロカーネルか。 "Security is no excuse for poor performance!"というスローガンっぽい。

[meech]

The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open source.

[igrep]

"The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open source."

[tmatsuu]

systemsドメイン、初めて見た。microkernelなOS。seはSecureの意味っぽい。

[fcicq]

https://github.com/seL4/seL4

[syuu1228]

L4の派生物か：Home | seL4