genode

Files

Christian Helmuth 347ff635b3 fiasco: fix SYSTEM_TARGET prefix in l4env config

The config file is interpreted in a bash script. So, SYSTEM_TARGET is a
bash variable, i.e., ${SYSTEM_TARGET}.

Fixes #946. Related to #490.

2013-11-15 16:11:19 +01:00

config

fiasco: fix SYSTEM_TARGET prefix in l4env config

2013-11-15 16:11:19 +01:00

doc

update x86emu to 1.20

2013-06-12 11:35:12 +02:00

etc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

include

Remove 'Native_lock' type from 'native_types.h'

2013-02-14 13:23:36 +01:00

lib/mk

base: individual implementations of pager-object

2013-11-14 19:57:30 +01:00

Unify framebuffer driver binary names (fix #720 )

2013-05-07 13:04:30 +02:00

patches

base-fiasco: Fix bug revealed by C++11 in contrib sources

2013-09-23 14:26:02 +02:00

run

run: support TFTP servers using absolute paths

2013-06-14 14:27:14 +02:00

src

Move main bootstrap to platform-specific object

2013-09-26 15:00:16 +02:00

Makefile

base-fiasco: check byacc installation on prepare

2013-09-26 14:28:46 +02:00

README

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

README

This repository contains the L4/Fiasco-specific implementation of Genode.

For instructions to build and start the Fiasco version of Genode, please
consult the documentation located at 'base-fiasco/doc/fiasco.txt'.