target/mips/mips-defs: Rename ISA_MIPS32R5 as ISA_MIPS_R5
[qemu/kevin.git] / default-configs / 
treeaa0d6f01af1b3ac0d7e7320fff60edda94db26db
drwxr-xr-x   ..
drwxr-xr-x - devices
drwxr-xr-x - targets