4 ms·
seL4 is verified down to binary (from GCC compiled C code, for ARMv6 and maybe v7), under active development, and GPLv2 open sourced: https://sel4.systems/ http
by hga 11y ago
seL4 is verified down to binary (from GCC compiled C code, for ARMv6 and maybe v7), under active development, and GPLv2 open sourced: https://sel4.systems/ https://sel4.systems/
- nickpsecurity 11y agoIt's a good piece of software. I left it off because EROS, a superior work, was already mentioned. Also QNX for performance/reliability. I was aiming for totally different types of designs where possible. seL4 is cool, though, and being integrated into GenodeOS.