genode/base-okl4/src/core
Stefan Kalkowski b888a26d57 core: extend core memory allocator
* Allow to translate physical to virtual core addresses and vice versa
* Eliminate race introduced by commit "core: re-design memory allocator"

Ref #723
2014-05-07 10:37:38 +02:00
..
include core: re-design memory allocator (fix #1091) 2014-03-18 14:24:55 +01:00
x86 Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
core_rm_session.cc Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
cpu_session_support.cc Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
io_mem_session_support.cc Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
irq_session_component.cc Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
okl4_pd_session_component.cc Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
platform.cc core: extend core memory allocator 2014-05-07 10:37:38 +02:00
platform_pd.cc core: Introduce 'Address_space' interface 2013-03-12 21:53:08 +01:00
platform_thread.cc Express affinities via Cartesian coordinates 2013-08-13 17:08:24 +02:00
ram_session_support.cc Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
rm_session_support.cc core: Introduce 'Address_space' interface 2013-03-12 21:53:08 +01:00
target.inc Provide Genode version information in log 2014-04-01 16:38:49 +02:00
thread_start.cc core: re-design memory allocator (fix #1091) 2014-03-18 14:24:55 +01:00