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
/
sleepq.h
Age
Commit message (
Expand
)
Author
2019-01-17
Replace "awaken" with "awoken"
Richard Braun
2019-01-10
kern/sleepq: update acquire/lend documentation
Richard Braun
2018-07-10
kern/sleepq: make disabling interrupts optional
Richard Braun
2018-02-24
New errno.h standard header
Richard Braun
2018-02-24
Don't use reserved identifiers
Richard Braun
2018-01-30
Fix condition variable broadcasting
Richard Braun
2018-01-06
kern/sleepq: fix signal behaviour
Richard Braun
2017-08-27
kern/sleepq: implement timed waits
Richard Braun
2017-07-31
kern/{sleepq,turnstile}: remove unused initialization operation
Richard Braun
2017-07-21
Merge branch 'adaptive_spinning'
Richard Braun
2017-07-21
kern/mutex: new adaptive spinning mutex implementation
Agustina Arzille
2017-07-14
Fix inclusions of kern/init.h when declaring init operations
Richard Braun
2017-07-13
Switch to initialization operations
Richard Braun
2017-03-17
kern/sleepq: also disable interrupts during critical sections
Richard Braun
2017-03-17
kern/sleepq: very early initialization
Richard Braun
2017-03-04
kern/sleepq: new module
Richard Braun