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