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
2019-01-17
Replace "awaken" with "awoken"
Richard Braun
2019-01-17
kern/sleepq: fix wake-up chaining
Richard Braun
2019-01-17
test/test_sleepq_broadcast: new module
Richard Braun
2019-01-10
test/test_semaphore: new module
Richard Braun
2019-01-10
kern/semaphore: rework
Richard Braun
2019-01-10
kern/sleepq: update acquire/lend documentation
Richard Braun
2019-01-10
New EOVERFLOW error code
Richard Braun
2019-01-07
kern/cbuf: update from upstream
Richard Braun
2018-11-21
kern/turnstile: fix assertion
Richard Braun
2018-11-17
kern/thread: fix suspend on dead threads
Richard Braun
2018-11-17
kern/turnstile: improve comments
Richard Braun
2018-11-12
x86/boot: work around an SMP-related warning
Richard Braun
2018-11-12
kern/rdxtree: fix warning when assertions are disabled
Richard Braun
2018-11-12
tools/build_configs.py: update compiler-related option names
Richard Braun
2018-11-05
kern/thread: implement suspend/resume operations
Agustina Arzille
2018-09-28
Makefile: explain the purpose of sorting initialization operations
Richard Braun
2018-09-02
.gitignore: add intermediate xml asciidoc files
Richard Braun
2018-08-14
tools/build_configs.py: generate the test set dynamically
Richard Braun
2018-08-12
kern/thread: make thread-specific data optional
Richard Braun
2018-08-12
kern/mutex/mutex_plain: fix macro names
Richard Braun
2018-08-12
kern/rcu: explain the need for separate work/reader window flips
Richard Braun
2018-08-04
x86/cpu: fix data/stack alignment
Richard Braun
2018-08-04
x86/cpu: improve low level code clarity
Richard Braun
2018-07-31
kern/rcu: add TODO entry
Richard Braun
2018-07-30
x86: use the uart0 console when testing with QEMU
Richard Braun
2018-07-30
x86/strace: align symbol names in backtraces
Richard Braun
2018-07-30
tools/gen_symtab.py: fix input parsing
Richard Braun
2018-07-30
kern/symbol: work around clang aggressive optimization behavior
Richard Braun
2018-07-30
tools/gen_symtab.py: put symbol names in the symbol table section
Richard Braun
2018-07-30
kern/log: minor change
Richard Braun
2018-07-30
Rework assertive functions
Richard Braun
2018-07-25
kern/{fmt,shell}: update from upstream
Richard Braun
2018-07-10
Makefile: print architecture-specific help
Richard Braun
2018-07-10
x86/lapic: fix compiler warnings
Richard Braun
2018-07-10
x86: add portable architecture-specific qemu make target
Richard Braun
2018-07-10
kern/sleepq: make disabling interrupts optional
Richard Braun
2018-07-10
kern/panic: remove initialization operation
Richard Braun
2018-07-10
x86/cpu: optimize interrupt handling
Richard Braun
2018-07-10
x86/cpu: fix excetpion handling on i386
Richard Braun
2018-07-08
x86/pmu_intel: use the compiler popcount built-in
Richard Braun
2018-07-08
Make linking against libgcc a global requirement
Richard Braun
2018-07-08
x86/cpu: add red zone support
Richard Braun
2018-07-08
kern/latomic: fix circular inclusions
Richard Braun
2018-07-07
x86/cpu: improve CPU flags handling
Richard Braun
2018-07-07
x86/cpu: use atomic operations for CPU boot synchronization
Richard Braun
2018-07-07
x86/{boot,cpu}: rework AP boot stack management
Richard Braun
2018-07-07
x86/cpu: turn cpu_delay into a compiler barrier
Richard Braun
2018-07-07
x86/boot: turn some far returns into far jumps
Richard Braun
2018-07-07
kern/thread: add thread name accessor
Richard Braun
2018-07-07
x86: refactor interrupt/exception handling
Richard Braun
[prev]
[next]