Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Sel4, Kernel, Verification. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Linux, Virtualization, Security, Co... > Linux, Kernel, Security, Emulation,... > Kernel, Virtualization, Boot, Linux... > Sel4, Kernel, Verification

Articles

Selfie: An educational platform for teaching systems engineering

See discussion (17 comments, 170 points) - Archive

The Helios microkernel

See discussion (141 comments, 249 points) - Archive

SeL4 on RISC-V Verified to Binary Code

See discussion (47 comments, 157 points) - Archive

SeL4 Whitepaper [pdf]

See discussion (29 comments, 84 points) - Archive

SeL4 is verified on RISC-V

See discussion (80 comments, 244 points) - Archive

SeL4 Design Principles

See discussion (18 comments, 146 points) - Archive

L4Linux – Linux running on the L4 microkernel

See discussion (41 comments, 140 points) - Archive

Using TLA+ to Understand Xen Vchan

See discussion (12 comments, 148 points) - Archive

SEL4: Mathematically Verified Software Kernels (2014) [pdf]

See discussion (34 comments, 96 points) - Archive

The seL4 microkernel

See discussion (12 comments, 102 points) - Archive

Project: A Simple Operating System

See discussion (42 comments, 121 points) - Archive

The seL4 microkernel

See discussion (43 comments, 194 points) - Archive

Lions OS: secure – fast – adaptable

See discussion (61 comments, 138 points) - Archive

Writing a Unix clone in about a month

See discussion (134 comments, 395 points) - Archive