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-16
Reword RCU guarantees
Richard Braun
2019-08-16
Improve the work API documentation
Richard Braun
2019-08-16
Improve the timer API documentation
Richard Braun
2019-08-16
Document the scalable reference counter API
Richard Braun
2019-08-16
Document the work API
Richard Braun
2019-08-16
Complete timer documentation
Richard Braun
2019-08-16
Document the timer API
Richard Braun
2019-08-16
Document the mutex API, fix spin lock documentation
Richard Braun
2019-08-16
Finish spinlock documentation
Richard Braun
2019-08-16
First attempt, incomplete
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
[next]