brightclark / seL4

The seL4 microkernel

https://sel4.systems

Geek Repo

Github PK Tool

This repository is not active

About

The seL4 microkernel

https://sel4.systems

Other

Languages

Language:C 67.4%Language:Python 9.0%Language:C++ 6.2%Language:TeX 5.3%Language:CMake 5.3%Language:HyPhy 3.1%Language:Assembly 2.9%Language:Makefile 0.3%Language:Objective-C 0.2%Language:Shell 0.1%Language:Vim Script 0.0%Language:Brainfuck 0.0%