rbraun/x15.git - The X15 microkernel

Age	Commit message (Expand)	Author
2017-11-14	Per-CPU variables, TCB and SSP supportarm_port_dev	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
2017-10-20	Start the machine-independant vm_ptable module	Richard Braun
2017-10-19	Dynamically allocate the kernel root page table	Richard Braun
2017-10-17	Implement buddy allocation in the bootmem module	Richard Braun
2017-10-17	Start implementation of the bootmem buddy allocator	Richard Braun
2017-10-12	Enable paging, including large page support (!)	Richard Braun
2017-10-07	First bootmem prototype	Richard Braun
2017-10-04	Invalid caches before jumping to RAM	Richard Braun
2017-10-04	Update Qemu target name	Richard Braun
2017-10-04	Hello, world!	Richard Braun
2017-09-30	Make the kernel run its first instructions	Richard Braun
2017-09-30	Stubs	Richard Braun