| drwxr-xr-x | [up] | |||
| drwxr-xr-x | module | files | ||
| drwxr-xr-x | pki | files | ||
| drwxr-xr-x | system | files | ||
| -rwxr-xr-x | 2016-10-12 14:21 +0200 | 1882 | Makefile | file | revisions | annotate |
| -rwxr-xr-x | 2016-10-12 14:21 +0200 | 395 | config.mk | file | revisions | annotate |
| -rwxr-xr-x | 2016-10-12 14:21 +0200 | 287 | manifest.mn | file | revisions | annotate |