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
2013-04-19
vm/vm_map: make vm_map_info lock VM map
Richard Braun
2013-04-18
x86/pmap: handle address overflow in pmap_kgrow
Richard Braun
2013-04-18
vm/vm_map: fix lookup cache handling
Richard Braun
2013-04-18
vm/vm_map: fix map entry clipping
Richard Braun
2013-04-17
vm/vm_map: serialize access to the kentry slabs list
Richard Braun
2013-04-17
vm/vm_map: replace spin locks with mutexes
Richard Braun
2013-04-17
vm/vm_phys: replace spin locks with mutexes
Richard Braun
2013-04-17
kern/kmem: replace spin locks with mutexes
Richard Braun
2013-04-15
kern/thread: thread destruction
Richard Braun
2013-04-15
kern/task: new task_remove_thread function
Richard Braun
2013-04-14
kern/condition: make condition_init an inline function
Richard Braun
2013-04-14
kern/{condition,mutex}: refactor common code
Richard Braun
2013-04-14
kern/condition: new module
Richard Braun
2013-04-13
kern/thread: fix inter-processor load balancing
Richard Braun
2013-04-13
kern/panic: restrict handling to the first panic
Richard Braun
2013-04-13
kern/mutex: new mutex_assert_locked macro
Richard Braun
2013-04-08
kern/mutex: new module
Richard Braun
2013-04-08
kern/thread: rework thread state handling
Richard Braun
2013-04-08
kern/thread: rework bootstrapping
Richard Braun
2013-04-06
kern/spinlock: rewrite spinlock_assert_locked as a macro
Richard Braun
2013-04-05
x86/boot: minor 32/64-bit assembly code sharing
Richard Braun
2013-04-05
x86/boot: minor naming change
Richard Braun
2013-04-05
x86/{boot,cpu}: rework boot stack allocation
Richard Braun
2013-04-04
vm/vm_phys: fix CPU pool initialization
Richard Braun
2013-04-04
x86/trap: display CPU number in traces
Richard Braun
2013-04-03
kern/spinlock: replace compare-and-swap with a simpler exchange
Richard Braun
2013-04-03
kern/spinlock: change the interface of trylock functions
Richard Braun
2013-03-18
kern/thread: minor comment changes
Richard Braun
2013-03-17
kern/thread: document scheduling
Richard Braun
2013-03-17
x86/mb: optimize load and store memory barriers
Richard Braun
2013-03-16
kern/thread: rename and move the on_rq thread member
Richard Braun
2013-03-16
kern/thread: simplify remote wakeups
Richard Braun
2013-03-16
kern/thread: don't migrate pinned threads
Richard Braun
2013-03-16
x86/param: increase timer frequency to 200 Hz
Richard Braun
2013-03-16
kern/thread: scale thread weights on timer frequency
Richard Braun
2013-03-16
kern/thread: make thread_schedule private
Richard Braun
2013-03-16
kern/thread: regularly attempt to balance when idling
Richard Braun
2013-03-15
kern/thread: revised balancing strategy
Richard Braun
2013-03-15
kern/thread: don't include kern/printk.h
Richard Braun
2013-03-15
kern/thread: use a stable highest round value when balancing
Richard Braun
2013-03-15
kern/thread: fix deadlock on inter-processor balancing
Richard Braun
2013-03-15
kern/thread: fix idler thread initialization
Richard Braun
2013-03-15
kern/thread: remove the unused cpu thread member
Richard Braun
2013-03-14
x86: remove store memory barriers
Richard Braun
2013-03-14
kern/{kernel,thread}: rework initialization
Richard Braun
2013-03-12
kern/thread: fix balancer initialization and wakeup
Richard Braun
2013-03-12
x86/cpu: make cpu_halt_broadcast asynchronous
Richard Braun
2013-03-12
kern/thread: fix and improve round balancing
Richard Braun
2013-03-11
kern/thread: fix and improve run queue selection on wakeup
Richard Braun
2013-03-11
kern/thread: optimize round tracking
Richard Braun
[prev]
[next]