Help with RaspberryPI USB on Fiasco.OC+Genode

Reinier Millo Sánchez rmillo at ...210...
Wed May 6 01:20:51 CEST 2015

Hi Norman

I will try the tracing machanism to test the USB driver. Is there public 
the trace monitor version used to bring up the Rpi USB driver on base_hw?

Best regards

On 05/04/2015 04:55 AM, Norman Feske wrote:
> Hi Reinier,
>> I've been testing the USB driver in the RaspberryPI assigning priorities
>> to each processes, but continue losing events. I have also tried
>> changing the top value of cnt, but still the same result. I will
>> continue doing some independent tests of the driver, mouse, keyboard and
>> network independently.
>> If you have any other suggestions?
> admittedly, I am (almost) running out of ideas. The last resort would be
> to use Genode's tracing mechanism [1] to obtain a trace of interrupts as
> received by the USB driver along with information about the state of the
> USB driver. I would then compare the trace generated with base-hw
> against the trace generated with base-foc.
> Unfortunately, employing the tracing mechanism requires a bit of labor
> on your side. You will need to develop a so-called trace monitor that
> assigns a tracing policy to the threads of interest (the ones living in
> the USB driver) and captures the tracing data. You can find a simple
> example at os/run/
> BTW, the tracing framework played an instrumental role for bringing the
> Rpi USB driver to Genode in the first place. Without it, I certainly
> would not have succeeded.
> [1]
> Best regards
> Norman

Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830

"antes de discutir ... respira;
   antes de hablar ... escucha;
  antes de escribir ... piensa;
   antes de herir ... siente;
  antes de rendirte ... intenta;
   antes de morir ... vive"

-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 517 bytes
Desc: not available
URL: <>

More information about the users mailing list