index
:
rbraun/x15.git
arm_port_dev
basic_paging
master
memory_model_dev
The X15 microkernel
Richard Braun
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2017-11-14
Per-CPU variables, TCB and SSP support
arm_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
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-19
Polish the bootmem module a bit
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-15
kern/sleepq: replace tab character with spaces
Richard Braun
2017-10-15
kern/fmt: silence implicit fallthrough warnings
Remy Noel
2017-10-15
kern/macros: new __fallthrough macro
Remy Noel
2017-10-12
Enable paging, including large page support (!)
Richard Braun
2017-10-10
x86/pmap: remove useless header inclusion
Richard Braun
2017-10-07
First bootmem prototype
Richard Braun
2017-10-04
Fix some header inclusions
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-10-02
Makefile: generate the linker script dependencies
Richard Braun
2017-10-01
Makefile: generate the linker script dependencies
Richard Braun
2017-09-30
Make the kernel run its first instructions
Richard Braun
2017-09-30
Stubs
Richard Braun
2017-09-28
tools/build_configs.py: remove TODO entry about test modules
Richard Braun
2017-09-28
tools/build_configs.py: make the builds verbose
Richard Braun
2017-09-28
tools/build_configs.py: minor improvements
Richard Braun
2017-09-27
tools/build_configs.py: fix filters about the number of CPUs
Richard Braun
2017-09-27
tools/build_configs.py: update the small and large options sets
Richard Braun
2017-09-27
tools/build_configs.py: minor help message change
Richard Braun
2017-09-27
tools/build_configs.py: fix quoting of integer values
Richard Braun
2017-09-27
x86/pmap: add assertion on CPU ID
Richard Braun
2017-09-27
tools/build_configs.py: fix exclusive boolean filter generation
Richard Braun
2017-09-27
tools/build_configs: rework and improve
Richard Braun
2017-09-25
tools/build_configs: new script
Richard Braun
2017-09-25
Fix generation of .config files
Richard Braun
2017-09-24
README: minor changes
Richard Braun
2017-09-24
doc/xbuild(9): new man page
Richard Braun
2017-09-24
Rework cleaning and installation targets
Richard Braun
2017-09-22
kern/{sleepq,turnstile}: handle spurious wakeups
Richard Braun
2017-09-22
kern/semaphore: improve description
Richard Braun
2017-09-21
Merge branch 'xbuild'
Richard Braun
2017-09-21
New build system
Richard Braun
2017-09-21
Import kconfig from Linux 4.13
Richard Braun
2017-09-21
Remove autotools files
Richard Braun
[next]