Stefan Kalkowski 518cbc5a5f L4Linux: no linux-kernel memcpy in cxx (fix #446) ...

Certain symbols from the libgcc_eh library in cxx that is linked with the
L4Linux kernel were resolved by using kernel internal implementations.
This lead to errors because the complete Linux kernel is built regparm=3.
This patch prefixes the appropriate symbols in the Linux Kernel and its
modules. Moreover, it fixes some warnings introduced by the latest update
to gcc 4.7.

2012-11-03 09:49:04 +01:00

..

icmp_align.patch

ARM/L4Linux alignment

2012-07-10 16:30:29 +02:00

l4android_genode.patch

Fiasco.OC: enable SMP for L4Linux

2012-09-14 12:30:29 +02:00

l4lx_genode.patch

L4Linux: no linux-kernel memcpy in cxx (fix #446)

2012-11-03 09:49:04 +01:00

tcp_mem.patch

L4lx: re-apply network performance hook

2012-09-24 09:18:00 +02:00