# Placeholder for MIPS specific settings that are not already in a cfg/*.cfg