The seL4 microkernel https://sel4.systems/
Simon Shields 3dc0cb0a8d Ensure we always have enough freemem regions on ARM 2 weeks ago
..
32/mode Kbuild: Removed Kbuild 5 months ago
64/mode Kbuild: Removed Kbuild 5 months ago
api libsel4: add seL4_CapRightsBits 1 month ago
arch AArch64: Benchmark log: Add convenience pointer to PD entry 1 week ago
benchmark Kbuild: Removed Kbuild 5 months ago
fastpath SELFOUR-6: Add GrantReply to the rights system. 1 month ago
kernel Ensure we always have enough freemem regions on ARM 1 week ago
machine Inline resetTimer for all platforms 1 year ago
model Move PAD_TO_NEXT_CACHE_LN to util.h 1 year ago
object SELFOUR-6: Add GrantReply to the rights system. 1 month ago
plat allwinnerA20: remove irqNumbers enum 1 week ago
smp ARM/SMP: Re-implement atomic exchange taking sel4 IPI into account 1 year ago
api.h Release snapshot 4 years ago
assert.h Add unverified_compile_assert 1 year ago
basic_types.h Type wrapper for a word_t that may alias 9 months ago
bootinfo.h SELFOUR-114: remove bootinfo.h duplication 2 years ago
compound_types.h unsigned int -> word_t 3 years ago
config.h SMP: Introduce ENABLE_SMP_SUPPORT 1 year ago
linker.h x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64 1 year ago
machine.h Add seL4_UserTop and move kernelBase to the arch level 1 month ago
object.h SELFOUR-317: rename async endpoint to notification object, and other 3 years ago
stdarg.h Release snapshot 4 years ago
stdint.h Add stdint MAX definitions 1 year ago
string.h Expose string functions in all builds 9 months ago
types.h ia32: added the option to disable prefetchers 3 years ago
util.h trivial: move MS_IN_S to utils.h 4 months ago