genode/base-linux
Christian Prochaska 4a9b1c6aab base-linux: add ARM support
This patch introduces a new platform 'linux_arm' for building and running
Genode/Linux on an ARM device.

Known limitations:

- libc 'setjmp()'/'longjmp()' doesn't currently save/restore floating
  point registers

Fixes #746.
2013-05-24 14:55:37 +02:00
..
etc base-linux: add ARM support 2013-05-24 14:55:37 +02:00
include Fix warning about initializer of 'Local_addr' 2013-05-06 11:11:03 +02:00
lib base-linux: add ARM support 2013-05-24 14:55:37 +02:00
mk base-linux: add ARM support 2013-05-24 14:55:37 +02:00
run run: extend genode_until_run by a spawn id 2013-05-08 09:42:44 +02:00
src base-linux: add ARM support 2013-05-24 14:55:37 +02:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This repository contains the Linux-specific implementation of Genode.