L4Linux Kernel module

ba_f ba_f at rbg.informatik.tu-darmstadt.de
Mon Jan 4 16:08:55 CET 2016


Hi,


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?



Thanks,
ba_f



More information about the l4-hackers mailing list