| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | tb0001-pic-in-32-bit-x86-assembly.rst | 8427 | logplain |
| -rw-r--r-- | tb0002-x86_64_bootstrap.rst | 11792 | logplain |
| -rw-r--r-- | tb0003-facet-based-capability-dispatch.rst | 37749 | logplain |
| -rw-r--r-- | tb0004-device-tree-ownership-and-registries.rst | 19885 | logplain |
| -rw-r--r-- | tb0005-device-resources.rst | 19696 | logplain |
| -rw-r--r-- | tb0006-compile-time-driver-self-registration.rst | 21265 | logplain |
 |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |