For a University project I am doing some experiments with SEL4 on a Raspberry Pi 3B. I have followed the steps on this website to install SEL4 on the Raspberry Pi using UBoot:
After the installation I have some problems with reading the RS232 output from the booting process using Minicom on Ubuntu, I am using a baudrate of 115200 8N1, is this the correct setting? The only output I am seeing is some random characters. I am using this shield to connect a RS232 cable. My project supervisor suggested that it might be necessary to use a null modem to read the RS232 signal, is this the case for this project?
I was also thinking to just skip reading out the boot process and directly connect to the SEL4 OS. Is this a possibility, and can I do this by connecting a monitor to the Raspberry Pi, or do I need to log in to the OS using a usb or ethernet connection?
I hope there is someone who could help me with this and it would be fun to start doing my experiments using the SEL4 OS.
Thank you in advance,
Student BSc Computer Science
University of Amsterdam