Building kernel modules for L4Linux

[Nourhan Mohamed]

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.
Sincerely,
Nourhan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160202/be02b273/attachment.html>