| .. |
|
include
|
core: mark implicitly detached regions as reserved
|
2023-12-13 12:32:19 +01:00 |
|
nova
|
mk: link core to library archive instead of .o file
|
2021-02-23 12:17:04 +01:00 |
|
spec
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
bios_data_area.cc
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
core_log_out.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
core_region_map.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
core_rpc_cap_alloc.cc
|
base: remove env_deprecated from rpc_cap_alloc
|
2023-03-13 15:22:00 +01:00 |
|
core-bss.ld
|
core: unify handling of boot modules
|
2016-11-08 15:26:27 +01:00 |
|
io_mem_session_support.cc
|
sel4: convert io memory on demand
|
2023-06-16 11:24:25 +02:00 |
|
ipc_pager.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
irq_session_component.cc
|
base-nova: allow MSI for non-PCI devices
|
2023-11-28 19:35:16 +01:00 |
|
native_cpu_component.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
native_pd_component.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
pager.cc
|
nova: provide system_control cap per cpu
|
2023-10-04 13:22:07 +02:00 |
|
pd_session_support.cc
|
nova: add guarded access to MSRs
|
2023-10-25 08:58:52 +02:00 |
|
platform_pd.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
platform_services.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
platform_thread.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
platform.cc
|
core: hand out RAM region as IOMEM to ACIPCA
|
2023-10-25 08:59:15 +02:00 |
|
ram_dataspace_support.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
rpc_cap_factory.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
thread_start.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
|
vm_session_component.cc
|
core: introduce 'Core' namespace
|
2023-03-13 14:32:37 +01:00 |
