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

..

avcodec.mk

Add 'libav' to libports

2012-05-29 13:54:59 +02:00

avutil.mk

Add 'libav' to libports

2012-05-29 13:54:59 +02:00

gmp-mpn.mk

x86_64 and ARM support for libgmp

2012-07-04 14:56:48 +02:00

libc-gen.mk

base-linux: add ARM support

2013-05-24 14:55:37 +02:00

libc-setjmp.mk

base-linux: add ARM support

2013-05-24 14:55:37 +02:00

libm.mk

Imported Genode release 11.11

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