On Wed, Feb 19, 2014 at 12:01 AM, Björn Döbel <doebel@os.inf.tu-dresden.de> wrote:

In your case, the module seems to be available, there's just something
wrong with it. When you compiled the module, did you configure the
correct L4Linux build directory in the Makefile?

I didn't configure using l4linux build directory. Is it something like L4DIR = ../.. ? I just followed the instruction to make kernel modules shown in tldp.org. Can you point an example of Makefile to to build kernel modules for L4Linux?

Regards,

Irvanda