seL4/docs Issues
repo sync errors
Closed 1zynq7000 patch is outdated
UpdatedTypo error
Updated 3site build is broken
Closed 5FAQ: immutable OS
Closed 3How large is seL4?
Closed 2Out of date/old status page
Closed 2Barrier to entry
Closed 5Multiple Errors
Closed 4SMP on Odroid-C2
Closed 1