message buffer is too small

[Peter Nguyen]

Hi,

In doing some further investigating, i discovered that the message was 
popping as a result of using sleep_forever(). I changed the associated 
Msgbuf size in base/sleep.h to 64, which has resulted in the code now 
working.

Peter

Norman Feske wrote:
> Hi Peter,
>
> Peter Nguyen wrote:
>   
>> In moving my sampling code to version 10.02 of genode, and running the 
>> sampling functionality, I keep getting the following message during runtime:
>>
>> void copy_utcb_to_msgbuf(Okl4::L4_MsgTag_t, Genode::Msgbuf_base*): 
>> receive message buffer too small msg size=2c, buf size=16
>>
>> Is there a way for me to change the size? Another point I should mention 
>> is that this output appears as a result of using L4 IPC.
>>     
>
> you can specify the size of your communication buffers as template
> argument to the 'Msgbuf' template. On the server side, the send and
> receive message buffers are passed to the 'Server_activation'
> constructor, on the client side, they are passed to the 'Ipc_client'
> constructor. The error you see is about the reception of a message, when
> the message is copied from the thread's UTCB to the 'Msgbuf' object.
>
> Norman
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>