Christian Prochaska 7a25bf2d19 x86_64 and ARM support for libgmp ...

Fixes #265.

2012-07-04 14:56:48 +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

Separate setjmp/longjmp from libc into own library

2012-05-23 19:18:33 +02:00

libc-setjmp.mk

OMAP4 USB driver

2012-06-22 11:38:36 +02:00

libm.mk

Imported Genode release 11.11

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