L4kproxy::Factory_svr

Daniel Müller Daniel.Mueller at mailbox.tu-dresden.de
Mon Sep 9 15:26:56 CEST 2013


On 09/09/13 00:05, Adam Lackorzynski wrote:
> On Fri Sep 06, 2013 at 07:20:40 +0200, Daniel Müller wrote:
>> 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).
> Indeed, however, please do not assume I'm trying to annoy you on
> purpose. I'll fix it.
No, of course not. All I am saying is that it can take quite some time 
to find the reason for a particular defect and problems like this could 
easily be caught with some very basic testing.

Thanks,
Daniel




More information about the l4-hackers mailing list