| 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 |
| l--------- | AUTHORS -> MailMap | 7 | logplain |
| -rw-r--r-- | CITATION.cff | 561 | 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 | 50 | logplain |
| -rw-r--r-- | README.md | 3074 | logplain |
| -rw-r--r-- | compile_flags.txt | 696 | logplain |
| d--------- | doc | 196 | logplain |
| -rwxr-xr-x | format.sh | 259 | logplain |
| -rwxr-xr-x | gdb.sh | 38 | logplain |
| d--------- | meta | 126 | logplain |
| d--------- | proofs | 108 | logplain |
| d--------- | public | 170 | logplain |
| d--------- | scripts | 499 | logplain |
| d--------- | src | 378 | logplain |
| d--------- | test | 76 | 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 |