Hi, are there any Makefiles for building a L4Linux Kernel Module? Or can i just cross-compile for my ARCH, although the driver uses L4-IPC? Thanks, ba_f