genode/repos/base-nova/src/core
2016-11-30 13:38:06 +01:00
..
include nova: support to run VBox vCPUs within same PD 2016-11-30 13:38:06 +01:00
spec base: changes for GDB monitor 2016-05-23 15:52:49 +02:00
bios_data_area.cc base: use BDA header in base-nova like base-hw 2015-07-21 09:30:12 +02:00
core_log.cc base-*: remove usage of printf 2016-10-21 12:39:36 +02:00
core_region_map.cc base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
core_rpc_cap_alloc.cc Integrate CAP session into PD session 2016-03-07 12:34:44 +01:00
core-bss.ld core: unify handling of boot modules 2016-11-08 15:26:27 +01:00
echo.cc nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00
io_mem_session_support.cc nova: fix write-combing support 2015-11-29 18:17:08 +01:00
ipc_pager.cc nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00
irq_session_component.cc base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
native_cpu_component.cc Separation of thread operations from CPU session 2016-05-23 15:52:39 +02:00
native_pd_component.cc Integrate CAP session into PD session 2016-03-07 12:34:44 +01:00
pager.cc nova: support to run VBox vCPUs within same PD 2016-11-30 13:38:06 +01:00
pd_assign_pci.cc nova: handle oom during assign_pci 2016-11-30 13:38:05 +01:00
platform_pd.cc base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
platform_thread.cc nova: support to run VBox vCPUs within same PD 2016-11-30 13:38:06 +01:00
platform.cc nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00
ram_session_support.cc base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
region_map_support.cc Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
rpc_cap_factory.cc nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00
thread_start.cc nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00