*.tar.* gcc/ binutils/ gawk/ builddir/ config.cmake config.h gen*.h build/ __pycache__/ *.iso iso/kernel *.firm html/ latex/ int.s regs.h out/