ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 06:33:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
078883fda3
genode/repos/base-okl4
History
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
..
contrib/generated Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
doc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
etc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
include Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
lib/mk base: interface for D- and I-cache synchronization 2014-05-27 11:14:45 +02:00
mk base-okl4: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
patches Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
ports base-okl4: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
run base-okl4: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
src base-okl4: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
tool Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
Makefile Temporarily disable hash checks 2014-05-27 11:14:44 +02:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

README 

This repository contains the implementation of Genode for the OKL4
kernel version 2.1.  For further information, please refer to the
following documents:

:[http://genode.org/community/wiki/GenodeOnOKL4 - Genode on OKL4 Wiki page]:
  This Wiki page contains the information on how to build and use
  Genode with OKL4.

:[http://genode.org/documentation/articles/genode-on-okl4 - Bringing Genode to OKL4]:
  This article explains the OKL4-specific porting work.