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