# 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.libc.choice
source target/config/Config.in.libc.default