| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Containerfile | 1456 | logplain |
| -rw-r--r-- | devcontainer.json | 707 | logplain |
 |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |
|
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Containerfile | 1456 | logplain |
| -rw-r--r-- | devcontainer.json | 707 | logplain |