L4kproxy::Factory_svr

Hello, Please find attached a minimal example illustrating a bug in Factory_svr. When executing this example the output is something like: Ned: loading file: 'rom/minimal.lua' Ned: ERROR: ned.lua:199: could not create process: Insufficient memory (: -12) The problem is in parsing the utcb_area parameter in the Factory_hndl::handle_task() method. A patch could be the attached libkproxy.diff which will make the task creation succeed. I would also like to point out that in my opinion there is no point in writing this functionality but never testing or using it (I have been unable to find a single client or test using it). Thanks, Daniel