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 > [email protected] > https://lists.sourceforge.net/lists/listinfo/genode-main > ------------------------------------------------------------------------------ _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
