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
I just used a USB to RPI serial adapter. It works perfectly for me.
On Fri, Jan 9, 2015 at 1:23 AM, Reinier Millo Sánchez <rmillo@...280....> wrote:
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"
Dive into the World of Parallel Programming! The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello Reinier,
the configuration to use serial output from the Raspberry Pi is the same like if you use Linux on top of it. Did you succeeded to run a ready-made Linux SD-card image for your board? I would test it with e.g. Raspian (Debian):
http://raspbian.org/RaspbianImages
to exclude any hardware problems.
Regards Stefan
On 01/09/2015 02:23 AM, Reinier Millo Sánchez wrote:
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
Dive into the World of Parallel Programming! The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello Stefan I have tested succesfully the serial output with Rasbian (9600 and 115200 baud) and Fiasco.OC with L4Re (9600 baud), with Genode have tried with 115200 baud but don't work for me.
Regards Millo
On 01/09/2015 02:29 AM, Stefan Kalkowski wrote:
Hello Reinier,
the configuration to use serial output from the Raspberry Pi is the same like if you use Linux on top of it. Did you succeeded to run a ready-made Linux SD-card image for your board? I would test it with e.g. Raspian (Debian):
http://raspbian.org/RaspbianImages
to exclude any hardware problems.
Regards Stefan
On 01/09/2015 02:23 AM, Reinier Millo Sánchez wrote:
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
Dive into the World of Parallel Programming! The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi Stefan
How i can change the baudrate on Genode for RaspberryPI?
Best regards Millo
On 01/09/2015 07:38 AM, Reinier Millo Sánchez wrote:
Hello Stefan I have tested succesfully the serial output with Rasbian (9600 and 115200 baud) and Fiasco.OC with L4Re (9600 baud), with Genode have tried with 115200 baud but don't work for me.
Regards Millo
On 01/09/2015 02:29 AM, Stefan Kalkowski wrote:
Hello Reinier,
the configuration to use serial output from the Raspberry Pi is the same like if you use Linux on top of it. Did you succeeded to run a ready-made Linux SD-card image for your board? I would test it with e.g. Raspian (Debian):
http://raspbian.org/RaspbianImages
to exclude any hardware problems.
Regards Stefan
On 01/09/2015 02:23 AM, Reinier Millo Sánchez wrote:
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
Dive into the World of Parallel Programming! The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Dive into the World of Parallel Programming! The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello Millo,
the fact that the serial output of your Rpi works with Linux but not with base-hw leaves me puzzled. I followed the steps explained in [1] using two different adapters pl2303mdl and [2] without problems. However, I always connected the cable via USB to my host computer. Do you happen to use the comport of your PC? If yes, maybe the serial-to-USB conversion somehow hides a problem with our driver?
[1] http://elinux.org/RPi_Serial_Connection [2] http://www.ftdichip.com/Products/Cables/RPi.htm
How i can change the baudrate on Genode for RaspberryPI?
the baud rate is hard-coded to 115200. See the definition of 'BAUD_RATE' in base-hw/src/core/console.cc:
https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/core/cons...
For reference, the UART driver is located at base/include/drivers/uart/pl011_base.h:
https://github.com/genodelabs/genode/blob/master/repos/base/include/drivers/...
Cheers Norman
-
Nobody III -
Norman Feske -
Reinier Millo Sánchez -
Stefan Kalkowski