Alexander Boettcher 31d11ec990 nova: fix implement Pd_session::map ...

Fixes #2209

2017-08-28 16:49:43 +02:00

..

include

core: generic ROM module initialization

2017-08-28 16:49:36 +02:00

nova

core: install core-<kernel>.o at bin/

2017-05-02 15:29:02 +02:00

spec

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

bios_data_area.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

core_log.cc

base: remove include/spec/* other than ISA

2017-05-31 13:16:01 +02:00

core_region_map.cc

Streamline exception types

2017-05-31 13:16:07 +02:00

core_rpc_cap_alloc.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

core-bss.ld

core: unify handling of boot modules

2016-11-08 15:26:27 +01:00

echo.cc

nova: fix syscall bindings with GCC 6

2017-05-31 13:15:52 +02:00

io_mem_session_support.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

ipc_pager.cc

nova: fix syscall bindings with GCC 6

2017-05-31 13:15:52 +02:00

irq_session_component.cc

Streamline exception types

2017-05-31 13:16:07 +02:00

native_cpu_component.cc

nova: use 'Native_cpu' component for thread initialization

2017-03-15 12:24:42 +01:00

native_pd_component.cc

Capability quota accounting and trading

2017-05-31 13:16:06 +02:00

pager.cc

Streamline exception types

2017-05-31 13:16:07 +02:00

pd_session_support.cc

nova: fix implement Pd_session::map

2017-08-28 16:49:43 +02:00

platform_pd.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

platform_thread.cc

nova: use 'Native_cpu' component for thread initialization

2017-03-15 12:24:42 +01:00

platform.cc

core: generic ROM module initialization

2017-08-28 16:49:36 +02:00

ram_dataspace_support.cc

core: split RAM dataspace factory from RAM service

2017-05-31 13:16:12 +02:00

region_map_support.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

rpc_cap_factory.cc

core: equip RPC-cap-factory slab with static block

2017-05-31 13:16:13 +02:00

thread_start.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00