Christian Prochaska 519bed419d core: preserve more memory ...

core needs to preserve more memory when built with -O0 for the 64-bit
'linux_x86' platform

Fixes #653.

2013-02-20 14:53:42 +01:00

..

include

Turn 'platform_env.h' into a private header

2013-02-14 13:23:36 +01:00

x86

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

context_area.cc

base: add remove_client to rm_session

2013-02-11 12:01:25 +01:00

core_mem_alloc.cc

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

cpu_session_component.cc

base: fix faults in rm_session de-constructor path

2013-02-11 12:01:25 +01:00

dataspace_component.cc

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

dump_alloc.cc

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

io_mem_session_component.cc

Coding style fixes

2013-01-24 11:35:56 +01:00

main.cc

core: preserve more memory

2013-02-20 14:53:42 +01:00

mb_info.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

multiboot_info.cc

Coding style fixes

2013-01-24 11:35:56 +01:00

pd_session_component.cc

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

platform_services.cc

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

ram_session_component.cc

base: fix deadlock in core_env on base-nova

2013-02-11 12:01:26 +01:00

rm_session_component.cc

base: fix dangling session pointers in rm_session

2013-02-11 12:01:26 +01:00

rom_session_component.cc

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

signal_session_component.cc

Coding style fixes

2013-01-24 11:35:56 +01:00

signal_source_component.cc

Coding style fixes

2013-01-24 11:35:56 +01:00