arm-none-eabi/* microblazeel-xilinx-elf/* env/* sdcc-code/* disk.img