projects / barrelfish / tree
| -rw-r--r-- | 424 | .gitignore | blob | history | raw |
| -rw-r--r-- | 3454 | .gitlab-ci.yml | blob | history | raw |
| -rw-r--r-- | 1922 | AUTHORS | blob | history | raw |
| -rw-r--r-- | 1080 | LICENSE | blob | history | raw |
| -rw-r--r-- | 11459 | README | blob | history | raw |
| -rw-r--r-- | 3818 | README_ARRAKIS | blob | history | raw |
| -rw-r--r-- | 2999 | README_NETWORKING | blob | history | raw |
| drwxr-xr-x | - | capabilities | tree | history |
| -rw-r--r-- | 1266 | default.nix | blob | history | raw |
| drwxr-xr-x | - | devices | tree | history |
| drwxr-xr-x | - | doc | tree | history |
| drwxr-xr-x | - | errors | tree | history |
| drwxr-xr-x | - | hake | tree | history |
| drwxr-xr-x | - | if | tree | history |
| drwxr-xr-x | - | include | tree | history |
| drwxr-xr-x | - | kernel | tree | history |
| drwxr-xr-x | - | lib | tree | history |
| drwxr-xr-x | - | platforms | tree | history |
| drwxr-xr-x | - | schemas | tree | history |
| -rw-r--r-- | 1102 | shell.nix | blob | history | raw |
| drwxr-xr-x | - | socs | tree | history |
| drwxr-xr-x | - | tools | tree | history |
| drwxr-xr-x | - | trace_definitions | tree | history |
| drwxr-xr-x | - | usr | tree | history |