.. |
configuration.h
|
hw: re-add priority down-scaling
|
2013-11-25 09:50:27 +01:00 |
core_interface.h
|
hw: correct result type of Kernel::new_vm
|
2014-04-07 17:05:34 +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: don't use assert in Kernel::pause_thread
|
2014-04-07 17:05:43 +02:00 |
thread.h
|
hw: move core-restricted interface to local header
|
2014-04-07 17:02:50 +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 |