…
..
defconfig.m32700ut.smp
defconfig.m32700ut.up
dot.gdbinit_200MHz_16MB
dot.gdbinit_300MHz_32MB
dot.gdbinit_400MHz_32MB