genode/libports/include/gcc
2011-12-22 16:19:25 +01:00
..
longlong.h Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This header is required for compiling the gmp library.
Normally, it comes with gcc.