Stefan Kalkowski 37bae7bc1f hw: simplify IPC node's state model (fix #1691) ... Merge the Ipc_node class' state PREPARE_AND_AWAIT_REPLY and AWAIT_REPLY, as well as PREPARE_REPLY ans INACTIVE into one.		2015-09-30 12:20:39 +02:00
..
configuration.h	hw: replace page table allocator with static one	2015-06-22 14:43:41 +02:00
core_interface.h	hw: remove access_thread_regs syscall	2015-09-09 15:14:27 +02:00
cpu_scheduler.h	hw: eliminate missing references for consts	2015-07-01 14:46:16 +02:00
cpu.h
double_list.h
fifo.h
ipc_node.h	hw: simplify IPC node's state model (fix #1691)	2015-09-30 12:20:39 +02:00
irq.h	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
kernel.h	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
lock.h
object.h	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
pd.h	hw: allocate core's page-tables outside of binary	2015-07-01 14:46:17 +02:00
perf_counter.h
signal_receiver.h	hw: use kernel signal API for page-fault signals	2015-07-01 14:46:18 +02:00
test.h	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
thread.h	hw: get rid of kernel/thread_* files	2015-09-09 15:14:27 +02:00
vm.h	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00