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-08-19
kern/thread: fix typo
HEAD
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
2019-05-29
kern/sref: schedule noref works with a high priority
Richard Braun
2019-05-29
kern/sref: fix when to process review queues
Richard Braun
2019-05-28
kern/sref: add optional debugging
Richard Braun
2019-05-26
kern/log: fix bulletin publication
Richard Braun
2019-05-22
Add a log print function type for information reporting
Richard Braun
2019-05-19
kern/{log,shell}: use a bulletin for initial log dump notification
Richard Braun
2019-05-19
test/test_sref_noref: fix naming, reduce number of loops
Richard Braun
2019-05-19
kern/sref: rework
Richard Braun
2019-05-05
kern/log: fix log writes
Richard Braun
2019-05-05
kern/timer: fix high priority work scheduling flags
Richard Braun
2019-04-24
kern/log: rework with a message buffer
Richard Braun
2019-04-24
kern/mbuf: new module
Richard Braun
2019-04-23
New EMSGSIZE error code
Richard Braun
2019-01-25
kern/log: fix overrun handling
Richard Braun
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
[next]