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