3 Nov
2020
3 Nov
'20
1:09 p.m.
Hi Sachin, The gicv2 names need to heb the same in overlay and main DTS. If you change the overlay to read /soc/gicv2 instead of /soc/gic400@40041000 things might get a little further. -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61