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 > [email protected] > https://sel4.systems/lists/listinfo/devel > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
