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
2017-09-20
kern/thread: restore comment about thread destruction
Richard Braun
2017-09-20
kern/work: fix work_setup dependencies
Richard Braun
2017-09-20
x86/ssp: fix LTO builds
Richard Braun
2017-09-08
doc/intro(9): fix claim about smp scalability
Richard Braun
2017-09-08
doc/cenv(9): describe the C environment of the kernel
Richard Braun
2017-09-07
kern/semaphore: do not assume common case
Richard Braun
2017-09-07
kern/semaphore: add missing atomic access
Richard Braun
2017-09-07
kern/init: fix LTO builds
Richard Braun
2017-09-07
kern/macros: new __used attribute macro
Richard Braun
2017-09-07
Use accessors when referring to global kernel objects
Richard Braun
2017-09-07
kern/thread: fix thread stack guard selection
Richard Braun
2017-09-07
doc/intro(9): fix machine-independent code memory model description
Richard Braun
2017-09-07
Rephrase the goals of the project
Richard Braun
2017-09-07
test/test_mutex_pi: make test threads sleep
Richard Braun
2017-09-06
test/test_mutex: minor change
Richard Braun
2017-09-06
vm: rename min/max macros to start/end variants
Richard Braun
2017-09-06
kern/kmem: fix info summary format
Richard Braun
2017-09-06
Use new thread_check_intr_context function consistently
Richard Braun
2017-09-06
kern/timer: add TODO entry about hash parameters
Richard Braun
2017-09-06
kern/rtmutex: fix priority propagation on unlock
Richard Braun
2017-09-06
configure.ac: slightly simplify test module handling
Richard Braun
2017-09-05
kern/xcall: make sure functions are always run from interrupt context
Richard Braun
2017-09-05
doc/style(9): add build and cleanup to the common function names
Richard Braun
2017-09-05
x86/{pmap,tcb}: don't use tsd for the update oplist
Richard Braun
2017-09-05
kern/thread: new thread_get_tcb function
Richard Braun
2017-09-04
kern/rbtree: update from upstream
Richard Braun
2017-09-04
kern/kmem: report physical and virtual memory usage
Richard Braun
2017-09-03
Minor style fix
Richard Braun
2017-09-03
kern/work: new private header
Richard Braun
2017-09-03
x86: import macros from the init module
Richard Braun
2017-09-02
Rework the build system
Richard Braun
2017-09-02
Makefile.am: make x15.sorted_init_ops an intermediate file
Richard Braun
2017-09-02
kern/thread: new preemption control macros
Richard Braun
2017-09-02
doc/style(9): fix boolean coercion section
Richard Braun
2017-09-02
kern/turnstile: use an hlist for hash table chaining
Richard Braun
2017-09-02
kern/sleepq: use an hlist for hash table chaining
Richard Braun
2017-09-02
kern/{h,s}list: add type declarations to public headers
Richard Braun
2017-09-02
doc/style(9): only mention C11 as the C specification in use
Richard Braun
2017-09-02
Make assert have no side effects
Richard Braun
2017-09-01
kern/macros: new __unused macro
Richard Braun
2017-09-01
kern/timer: make timer time reads non atomic
Richard Braun
2017-08-31
kern/thread: fix atomic accesses to a thread's run queue
Richard Braun
2017-08-31
Make the low resolution clock frequency configurable
Richard Braun
2017-08-31
kern/mutex/mutex_adaptive: rename some debugging counters
Richard Braun
2017-08-31
Make mutex debugging slightly more convenient
Richard Braun
2017-08-31
kern/timer: improve access synchronization
Richard Braun
2017-08-31
Makefile.am: do not force the -fno-stack-protector option
Richard Braun
2017-08-31
kern/timer: fix locking
Richard Braun
2017-08-31
Add debugging code to the mutex modules
Richard Braun
2017-08-31
test/test_mutex: new module
Richard Braun
[prev]
[next]