Serial Output on RaspberryPI

[Reinier Millo Sánchez]

Hi Genode community
I'm testing GenodeOS on the RaspberryPI. I have compiled and tested some 
examples using a modified QEMU emulator and real hardware. I'm trying to 
catch the serial output on real hardware. To catch the serial output, 
i'm using an Arduino bridge to read the serial output from RaspberryPI 
and send it to my computer. I have built a level shifter to transform 
the RaspberryPI 3.3v in 5v. I'm using the UART TX pin (GPIO 8) to get 
the serial output.
When i have tested the examples, can't get the serial output on TX pin. 
Who can i get the serial output from RaspberryPI?

Best regards

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas

"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: 519 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150108/78de08b8/attachment.vcf>