On 18.02.2014 07:36, Irvanda Kurniadi wrote:

...

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.

Did you enable CONFIG_L4_BLK_DS_DRV in the L4Linux configuration?

Yes I did. I just checked the .config file # Stub drivers CONFIG_L4_BLK_DS_DRV=y

regards,

Irvanda