genode/repos/base-hw/src/core/include/kernel
Martin Stein 6370b6880a hw: rename Thread::State SCHEDULED in ACTIVE
As soon as helping is used, a thread may also be in a blocking state when its
scheduling context is ready. Hence, the state designation SCHEDULED for an active
thread would be pretty misleading.

ref #1102
2014-12-19 13:58:47 +01:00
..
configuration.h hw: add and test totally sophisticated scheduler 2014-11-28 12:02:35 +01:00
core_interface.h hw: remove deprecated TLB declaration 2014-12-19 13:58:47 +01:00
cpu_scheduler.h hw: add and test totally sophisticated scheduler 2014-11-28 12:02:35 +01:00
cpu.h thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00
double_list.h hw: add and test totally sophisticated scheduler 2014-11-28 12:02:35 +01:00
early_translations.h hw & arm_v7: mode transition via transit ttbr0 2014-08-15 10:19:48 +02:00
fifo.h hw: add FIFO variant with for_each() method 2014-12-19 13:58:47 +01:00
ipc_node.h hw: add FIFO variant with for_each() method 2014-12-19 13:58:47 +01:00
irq.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
kernel.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
object.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
pd.h hw: rename Kernel::Processor Kernel::Cpu 2014-11-28 12:02:35 +01:00
perf_counter.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
signal_receiver.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
thread_event.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
thread.h hw: rename Thread::State SCHEDULED in ACTIVE 2014-12-19 13:58:47 +01:00
vm.h thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00