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?