message buffer is too small

[Peter Nguyen]

Hi,

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.

Peter