rbraun/x15.git - The X15 microkernel

Branch	Commit message	Author	Age
arm_port_dev	Per-CPU variables, TCB and SSP support	Richard Braun	6 years
basic_paging	actually, it didn't work, but does now	Richard Braun	11 years
master	kern/thread: fix typo	Richard Braun	5 years
memory_model_dev	Fix the documentation according to the memory model	Richard Braun	5 years


Age	Commit message	Author
2017-11-14	Per-CPU variables, TCB and SSP supportarm_port_dev	Richard Braun
2017-10-31	Merge branch 'master' into arm_port_dev	Richard Braun
2017-10-31	Rename CONFIG_MULTIPROCESSOR to CONFIG_SMP	Richard Braun
2017-10-31	Fix cpu_intr_enabled	Richard Braun
2017-10-30	Start board and architecture specific infrastructure	Richard Braun
2017-10-25	Update names	Richard Braun
2017-10-25	Improve qemu/arm script	Richard Braun
2017-10-24	Add a qemu/arm script, enable caching, clear bss	Richard Braun
2017-10-24	Improve page table creation at boot time	Richard Braun
2017-10-22	Rework the vm_ptable boot interface	Richard Braun
[...]

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