| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| arm_port_dev | Per-CPU variables, TCB and SSP support | Richard Braun | 8 years | |
| basic_paging | actually, it didn't work, but does now | Richard Braun | 12 years | |
| master | kern/thread: fix typo | Richard Braun | 6 years | |
| memory_model_dev | Fix the documentation according to the memory model | Richard Braun | 6 years | |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |