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
..
x86	base-okl4: migrate to new ports mechanism	2014-05-27 11:14:42 +02:00
base-common.mk	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
boot_info.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
kernel.inc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform.inc	base-okl4: migrate to new ports mechanism	2014-05-27 11:14:42 +02:00