L4Linux Kernel module

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Jan 4 23:37:47 CET 2016

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list