Hi,
I created l4lx_threads by "l4lx_thread_create()".
But when these threads alloccate some memory by kmalloc(), fault error always occurs as fallow,

l4lx | L4RM: [PF] read at 0x999999b0, eip 0042e30a, src E.0B
l4lx | [E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf():
l4lx | unhandled page fault

What is the problem?
Is there some size limitation of kmalloc for thease threads?
I tried to allocate a few KBs.

Best regards