genode/base-pistachio
Norman Feske 2a03c78dfb Update L4ka::Pistachio, fix gcc-4.7 problem
With the update to L4ka::Pistachio, we no longer need to patch the
contrib sources. Our patch went upstream in the meanwhile.

Apparently, gcc-4.7 is picky about specifying the '-melf_i386' argument
at the command line of the GCC frontend. We need to make sure to use the
'-Wl,' prefix.
2012-10-31 18:47:43 +01:00
..
config Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
doc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
etc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
include Move context area definition to native_type 2012-09-24 09:17:54 +02:00
lib/mk Replace 'Native_capability::copy_to' by accessor 2012-03-28 09:58:51 +02:00
mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
run Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
src Introduce platform-specific services for core 2012-10-29 10:08:29 +01:00
Makefile Update L4ka::Pistachio, fix gcc-4.7 problem 2012-10-31 18:47:43 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This repository contains the L4ka::Pistachio-specific implementation of Genode.
Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further
instructions on building and using Genode on the L4ka::Pistachio kernel.