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
path:
root
/
kern
Age
Commit message (
Expand
)
Author
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
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
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-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
kern/rdxtree: fix warning when assertions are disabled
Richard Braun
2018-11-05
kern/thread: implement suspend/resume operations
Agustina Arzille
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-07-31
kern/rcu: add TODO entry
Richard Braun
2018-07-30
kern/symbol: work around clang aggressive optimization behavior
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
kern/sleepq: make disabling interrupts optional
Richard Braun
2018-07-10
kern/panic: remove initialization operation
Richard Braun
2018-07-08
kern/latomic: fix circular inclusions
Richard Braun
2018-07-07
kern/thread: add thread name accessor
Richard Braun
2018-07-07
x86: refactor interrupt/exception handling
Richard Braun
2018-06-26
Merge branch 'symtab'
Richard Braun
2018-06-26
x86/strace: rework to use the embedded symbol table
Richard Braun
2018-06-26
Add support for an embedded symbol table
Richard Braun
2018-06-26
kern/macros: new __weak macro
Richard Braun
2018-06-26
kern/perfmon: fix PMC ID allocation description
Richard Braun
2018-06-26
kern/thread: update comment
Richard Braun
2018-06-25
Merge branch 'perfmon'
Richard Braun
[next]