BranchCommit messageAuthorAge
arm_port_devPer-CPU variables, TCB and SSP supportRichard Braun7 years
basic_pagingactually, it didn't work, but does nowRichard Braun11 years
masterkern/thread: fix typoRichard Braun5 years
memory_model_devFix the documentation according to the memory modelRichard Braun5 years
AgeCommit messageAuthor
2019-08-19kern/thread: fix typoHEADmasterRichard Braun
2019-08-16kern/thread: rename thread_boot_barrierRichard Braun
2019-08-16x86/latomic: fix latomic_x86_enter and latomic_x86_leaveRichard Braun
2019-08-16kern/latomic: implement fences as atomic signal fencesRichard Braun
2019-07-11kern/types: add TODO entry about cpu_flags_tRichard Braun
2019-06-08kern/sref: remove left-over macroRichard Braun
2019-06-08vm/vm_map: fix vm_map_infoRichard Braun
2019-06-08kern/log: add printf-specific warnings to log_printf_fn_tRichard Braun
2019-06-08kern/sref: track epoch durationsRichard Braun
2019-06-05kern/sref: reduce minimum epoch durationRichard Braun