On Mon Jan 04, 2016 at 16:08:55 +0100, ba_f wrote:
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?
There's no difference, so the standard way of building a module should just work (make -C ... M=...).
Adam