bigmagic f4c71fc5bf rename raspi4 to raspi4-64 %!s(int64=5) %!d(string=hai) anos
..
SConscript fb8c7829a8 add raspi4 bsp %!s(int64=5) %!d(string=hai) anos
gic_pl400.c f4c71fc5bf rename raspi4 to raspi4-64 %!s(int64=5) %!d(string=hai) anos
gic_pl400.h 709e0d5799 add bsp/raspi4 gicv2 %!s(int64=5) %!d(string=hai) anos