BranchCommit messageAuthorAge
arm_port_devPer-CPU variables, TCB and SSP supportRichard Braun19 months
basic_pagingactually, it didn't work, but does nowRichard Braun6 years
masterkern/sref: remove left-over macroRichard Braun12 days
AgeCommit messageAuthor
12 dayskern/sref: remove left-over macroHEADmasterRichard Braun
12 daysvm/vm_map: fix vm_map_infoRichard Braun
12 dayskern/log: add printf-specific warnings to log_printf_fn_tRichard Braun
12 dayskern/sref: track epoch durationsRichard Braun
2019-06-05kern/sref: reduce minimum epoch durationRichard Braun
2019-05-28kern/sref: schedule noref works with a high priorityRichard Braun
2019-05-28kern/sref: fix when to process review queuesRichard Braun
2019-05-28kern/sref: add optional debuggingRichard Braun
2019-05-26kern/log: fix bulletin publicationRichard Braun
2019-05-22Add a log print function type for information reportingRichard Braun