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.