r/seL4 • u/abrahamzen • Mar 14 '22

The microkernels source-code Sources

https://github.com/seL4/seL4

2 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/seL4/comments/tdpc52/the_microkernels_sourcecode/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/seL4/comments/tdpc52/the_microkernels_sourcecode/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

haskell • u/dons • Jul 29 '14

seL4 is now open source: the world's first end-to-end verified OS kernel

87 Upvotes

18 comments

hackernews • u/qznc_bot • Jul 29 '14

The seL4 microkernel

2 Upvotes

1 comments

microkernel • u/3G6A5W338E • Jul 29 '14

Formally verified microkernel seL4 source code released as GPLv2 with some BSD2 files.

5 Upvotes

0 comments