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