| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .clang-format | 806 | logplain |
| -rw-r--r-- | .editorconfig | 216 | logplain |
| -rw-r--r-- | .gitattributes | 9 | logplain |
| d--------- | .github | 75 | logplain |
| -rw-r--r-- | .gitignore | 2827 | logplain |
| -rw-r--r-- | .gitmodules | 99 | logplain |
| -rw-r--r-- | CITATION.cff | 587 | logplain |
| -rw-r--r-- | CODEOWNERS | 313 | logplain |
| -rw-r--r-- | LICENSE | 11357 | logplain |
| l--------- | LICENSE_1_0.txt -> LICENSE | 7 | logplain |
| -rw-r--r-- | MailMap | 40 | logplain |
| -rw-r--r-- | README.md | 2944 | logplain |
| -rw-r--r-- | compile_flags.txt | 696 | logplain |
| d--------- | doc | 157 | logplain |
| -rwxr-xr-x | format.sh | 259 | logplain |
| -rwxr-xr-x | gdb.sh | 38 | logplain |
| d--------- | meta | 126 | logplain |
| d--------- | proofs | 110 | logplain |
| d--------- | public | 170 | logplain |
| d--------- | scripts | 499 | logplain |
| d--------- | src | 328 | logplain |
| d--------- | test | 79 | logplain |
| d--------- | tools | 441 | logplain |
 |
index : NeKernel | |
| Ne System's NeKernel: The Open Source Modular C++ Microkernel written in C++20. | Amlal El Mahrouss |
| summaryrefslogtreecommitdiffhomepage |