The seL4 microkernel https://sel4.systems/
Simon Shields 748362b959 arm: hook allwinnerA20 back up to the build system 1 week ago
..
api SELFOUR-6: Add GrantReply to the rights system. 1 month ago
arch arm: hook allwinnerA20 back up to the build system 1 week ago
benchmark Kbuild: Removed Kbuild 5 months ago
config unsigned int -> word_t 3 years ago
fastpath SELFOUR-6: Add GrantReply to the rights system. 1 month ago
kernel Calculate IRQ_CNODE_BITS from maxIRQ 1 month ago
machine Kbuild: Removed Kbuild 5 months ago
model Kbuild: Removed Kbuild 5 months ago
object trivial: Add clarifying comment 1 week ago
plat arm: hook allwinnerA20 back up to the build system 1 week ago
smp Kbuild: Removed Kbuild 5 months ago
assert.c s/DEBUG/CONFIG_DEBUG_BUILD/ 1 year ago
config.cmake SMP: add top level migrateTCB 1 year ago
inlines.c SELFOUR-413: refactor libsel4 fault API 2 years ago
string.c Expose string functions in all builds 9 months ago
util.c Remove strlen 9 months ago