# This file is part of the OpenADK project. OpenADK is copyrighted # material, please see the LICENCE file in the top-level directory. source target/config/Config.in.mips.choice source target/config/Config.in.mips.default
