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