I am trying to port SEL4 on RISCV hardware. I am stuck in finding the
DTB/DTS files path in sel4test folder. Could someone guide me where these
files exist and how to change the memory map for UART console. Actually, We
changed the code for putchar in systems.c for Linux. So, I am trying to
figure out, how to do something similar for SEL4.
Please let me know, if someone has ported SEL$ to RISCV hardware.