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
/
thread_i.h
Age
Commit message (
Expand
)
Author
2017-06-13
Various atomic access fixes
Richard Braun
2017-05-09
Replace sequential consistency with more efficient orders
Agustina Arzille
2017-04-04
Use the new atomic operations interface
Agustina Arzille
2017-03-19
kern/thread: formally define interrupt context
Richard Braun
2017-03-16
kern/thread: improve description of thread locking
Richard Braun
2017-03-04
kern/thread: minor changes in comments
Richard Braun
2017-03-04
kern/{condition,mutex}: reimplement on top of sleep queues
Richard Braun
2017-03-04
kern/{thread,turnstile}: implement priority inheritance
Richard Braun
2017-03-04
kern/thread: fix thread_setscheduler
Richard Braun
2017-03-04
kern/sleepq: new module
Richard Braun
2017-02-14
kern/thread: add reference counter
Richard Braun
2017-02-13
kern/thread: minor global priority rework
Richard Braun
2017-02-08
kern/thread: add wait channels
Richard Braun
2017-02-04
kern/list: update
Richard Braun
2017-02-04
kern/types: split into module-specific type headers
Richard Braun
2017-01-31
kern/thread: make priority a generic thread property
Richard Braun
2017-01-29
kern/thread: rename "time-sharing" to "fair-scheduling"
Richard Braun
2017-01-23
kern/thread: move private definitions to thread_i.h
Richard Braun