Christian Prochaska 078883fda3 base: interface for D- and I-cache synchronization ... On ARM, when machine instructions get written into the data cache (for example by a JIT compiler), one needs to make sure that the instructions get written out to memory and read from memory into the instruction cache before they get executed. This functionality is usually provided by a kernel syscall and this patch adds a generic interface for Genode applications to use it. Fixes #1153.		2014-05-27 11:14:45 +02:00
..
arm	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform_arndale	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform_imx53	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform_panda	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform_pbxa9	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform_vea9x4	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
x86	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
x86_32	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
x86_64	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
base-common.inc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
base.mk	base: interface for D- and I-cache synchronization	2014-05-27 11:14:45 +02:00
l4re_support.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform.inc	base-foc: migrate to new ports mechanism	2014-05-27 11:14:43 +02:00