Building kernel modules for L4Linux

Nourhan Mohamed nourhan.abdeltawab at
Tue Feb 2 14:44:34 CET 2016

Hi everyone,

I wanted to build a simple character device module for L4Linux on ARM
device.  However, I don't know who should I compile it for the L4Linux
version (version 4.3.0). Can you please help me with what files should I
download to cross compile the module and what should be included in the
Makefile? My machine is a 64-bit machine running Ubuntu with Linux kernel
version 4.3.3.

Thanks in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list