Building kernel modules for L4Linux

Nourhan Mohamed <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <CAAOhFMYVONLfuqtnr+Ub2X6oRmsaFPMjdwco-qzejwGA=whNig@mail.gmail.com> 
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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.