rbraun/x15.git - The X15 microkernel

Branch	Commit message	Author	Age
arm_port_dev	Per-CPU variables, TCB and SSP support	Richard Braun	7 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


Age	Commit message	Author
2019-08-19	kern/thread: fix typoHEAD master	Richard Braun
2019-08-16	kern/thread: rename thread_boot_barrier	Richard Braun
2019-08-16	x86/latomic: fix latomic_x86_enter and latomic_x86_leave	Richard Braun
2019-08-16	kern/latomic: implement fences as atomic signal fences	Richard Braun
2019-07-11	kern/types: add TODO entry about cpu_flags_t	Richard Braun
2019-06-08	kern/sref: remove left-over macro	Richard Braun
2019-06-08	vm/vm_map: fix vm_map_info	Richard Braun
2019-06-08	kern/log: add printf-specific warnings to log_printf_fn_t	Richard Braun
2019-06-08	kern/sref: track epoch durations	Richard Braun
2019-06-05	kern/sref: reduce minimum epoch duration	Richard Braun
[...]

Clone
git://git.sceen.net/rbraun/x15.git
https://git.sceen.net/rbraun/x15.git