Alexander Boettcher cf2886dc8f core: avoid freeing memory of unknown state ...

This should actually never happen. However if it happens, be a bit robuster
and don't provide the memory for re-use (which causes tons of other trouble
afterwards).

Issue #2505

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

..

include

core: remove unmap from rm_client

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

spec/x86

Streamline exception types

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

capability_space.cc

core: add Platform::max_caps()

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

core_mem_alloc.cc

core: avoid freeing memory of unknown state

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

core_region_map.cc

Adjust file headers to refer to the AGPLv3

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

core_rpc_cap_alloc.cc

Adjust file headers to refer to the AGPLv3

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

cpu_session_component.cc

base: check ownership of thread in cpu_session

2017-06-08 11:33:06 +02:00

cpu_session_support.cc

Adjust file headers to refer to the AGPLv3

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

cpu_thread_component.cc

Adjust file headers to refer to the AGPLv3

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

dataspace_component.cc

Adjust file headers to refer to the AGPLv3

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

default_log.cc

Adjust file headers to refer to the AGPLv3

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

dump_alloc.cc

core: improve formatting of allocator dumps

2017-03-24 16:19:58 +01:00

io_mem_session_component.cc

Streamline exception types

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

main.cc

core: serve parent and core service by one ep

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

pager_ep.cc

core: fix compiler warnings

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

pager_object.cc

Adjust file headers to refer to the AGPLv3

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

pd_session_component.cc

Integrate core's RAM service into the PD service

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

pd_session_support.cc

core: add map method to pd_session interface

2017-08-18 10:24:46 +02:00

platform_rom_modules.cc

core: ignore boot modules with size 0

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

platform_services.cc

Adjust file headers to refer to the AGPLv3

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

ram_dataspace_factory.cc

core: split RAM dataspace factory from RAM service

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

region_map_component.cc

core: remove unmap from rm_client

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

rom_session_component.cc

Streamline exception types

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

rpc_cap_factory_l4.cc

Adjust file headers to refer to the AGPLv3

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

rpc_cap_factory.cc

Adjust file headers to refer to the AGPLv3

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

signal_receiver.cc

core-linux: avoid block-for-signal assertion

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

signal_source_component.cc

core: serve parent and core service by one ep

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

signal_transmitter_noinit.cc

base: restructure signal-submit initialization

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

signal_transmitter_proxy.cc

core: fix deadlock in signal delivery

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

stack_area.cc

base: use 'Ram_allocator' as stack-area back end

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

target.inc

mk: strip binaries at <build-dir>/bin/

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

trace_session_component.cc

Streamline exception types

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

version.cc

Adjust file headers to refer to the AGPLv3

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

version.inc

core: avoid using BASE_DIR in vpath

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