Martin Stein fba4f54571 hw: split pause_current_thread from pause_thread ... Kernel::pause_current_thread can be implemented much simpler and is not restricted to core threads, in contrast to Kernel::pause_thread which also benefits from the split and can be moved to core_interface.h. ref #1101		2014-04-07 17:07:24 +02:00
..
configuration.h	hw: re-add priority down-scaling	2013-11-25 09:50:27 +01:00
core_interface.h	hw: split pause_current_thread from pause_thread	2014-04-07 17:07:24 +02:00
ipc_node.h	hw: make kernel less noisy in release mode	2014-04-07 17:01:46 +02:00
irq.cc	hw: provide identification of a processor object	2014-03-14 13:16:04 +01:00
irq.h	hw: make kernel less noisy in release mode	2014-04-07 17:01:46 +02:00
kernel.cc	hw: rename mode_transition_virt_base	2014-04-07 17:03:48 +02:00
kernel.h	hw: move handle_interrupt to Execution_context	2014-03-04 19:01:29 +01:00
object.h	hw: replace unsynchronized by unmanaged singleton	2013-12-20 14:48:05 +01:00
pd.h	hw: rename files multiprocessor.* in processor.*	2014-03-04 19:05:09 +01:00
processor_pool.cc	hw: move Processor_client to processor.h	2014-03-14 13:17:37 +01:00
processor_pool.h	hw: reduce stack size of idle threads	2014-04-07 17:02:11 +02:00
processor.cc	hw: comment conditions of interprocessor interrupt	2014-03-14 13:17:37 +01:00
processor.h	hw: don't do redundant inter-processor interrupts	2014-03-14 13:17:37 +01:00
scheduler.h	hw: do inter-processor interrupt only when needed	2014-03-14 13:17:37 +01:00
signal_receiver.cc	hw: do not block on destruction of signal receiver	2013-12-20 14:48:06 +01:00
signal_receiver.h	hw: faster Kernel::Signal_receiver::_listen()	2014-04-07 17:02:26 +02:00
thread_event.h	hw: communicate page faults via signals	2013-11-14 19:57:31 +01:00
thread.cc	hw: split pause_current_thread from pause_thread	2014-04-07 17:07:24 +02:00
thread.h	hw: split pause_current_thread from pause_thread	2014-04-07 17:07:24 +02:00
vm.cc	hw: replace unsynchronized by unmanaged singleton	2013-12-20 14:48:05 +01:00
vm.h	hw: move Processor_client to processor.h	2014-03-14 13:17:37 +01:00