summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
arm_port_devPer-CPU variables, TCB and SSP supportRichard Braun3 years
basic_pagingactually, it didn't work, but does nowRichard Braun8 years
masterkern/thread: fix typoRichard Braun18 months
memory_model_devFix the documentation according to the memory modelRichard Braun18 months