Hi,

Have you tried to build kernel modules and run it on L4linux? I read [1] and followed the instructions given by that document. 
1. I built a "Hello world" Kernel module by following [2], then I got my .ko file. 
2. I mounted my L4linux Ramdisk and copied my hello.ko into the Ramdisk
3. In src/l4/conf/examples/l4lx­gfx.cfg, I add a kernel parameter: l4bdds.add=rom/hello.ko, as shown below:
-- Start Linux
loader:start(
  { ..........
  },
  "rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/ramdisk-" ..  L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh l4bdds.add=rom/hello.ko");

But, when I booted the L4linux, I couldn't find the /dev/l4bdds0. Any opinion about this?

Regards,

Irvanda

[1] http://os.inf.tu-dresden.de/Studium/KMB/WS2013/Exercise3-L4Linux.pdf
[2] http://www.tldp.org/LDP/lkmpg/2.6/html/x181.html