genode/base-pistachio
Christian Prochaska 7f7c24fcc9 Pistachio: tell the compiler about 'edi' changes
Syscall binding functions which use '__L4_INDIRECT_CALL' need to tell the
compiler that the 'edi' register gets modified. Since 'edi' is an input
operand and input operands may not get added to the clobber list, this
patch defines 'edi' also as an output operand instead.

Fixes #834.
2013-08-15 09:22:49 +02:00
..
config Imported Genode release 11.11 2011-12-22 16:19:25 +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 pistachio: return kip structure from get_kip 2013-07-16 16:23:49 +02:00
lib/mk base: User-level tracing support 2013-08-14 18:43:19 +02:00
mk Unify framebuffer driver binary names (fix #720) 2013-05-07 13:04:30 +02:00
patches Pistachio: tell the compiler about 'edi' changes 2013-08-15 09:22:49 +02:00
run run: support TFTP servers using absolute paths 2013-06-14 14:27:14 +02:00
src core: TRACE service interface and implementation 2013-08-15 09:22:47 +02:00
Makefile pistachio: use bender, read out comport from BDA 2013-06-12 11:36:14 +02: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.