Re: [seL4] Regarding porting SEL4 on RISCV hardware

Hi Sathya, The only use of DTB is currently by the kernel and it receives its copy at run time from the bootloader. Adrian On Thu 14-Jun-2018 5:12 PM, Sathya Narayanan N wrote:

Hi Members,

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.​

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel