# --- T2-COPYRIGHT-NOTE-BEGIN ---
# This copyright note is auto-generated by scripts/Create-CopyPatch.
# 
# T2 SDE: architecture/avr32/config.in
# Copyright (C) 2007 - 2020 The T2 SDE Project
# 
# More information can be found in the files COPYING and README.
# 
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; version 2 of the License. A copy of the
# GNU General Public License can be found in the file COPYING.
# --- T2-COPYRIGHT-NOTE-END ---

#Description: AVR32 (Atmel)

choice SDECFG_AVR32_OPT default \
	default		"No special optimization"	\
	ap7000		"Optimized for AP7000"

choice SDECFG_AVR32_BOARDDEF none \
	none            "Board config not available, use defconfig" \
	atstk1002       "atstk1002 evaluation board" \
	atstk1003       "atstk1003 evaluation board" \
	atstk1004       "atstk1004 evaluation board" \
	atstk1006       "atatk1006 evaluation board" \
	atngw100        "atngw100 Network Gateway"

if [ $SDECFG_AVR32_OPT != default ]; then
	SDECFG_ID="$SDECFG_ID-$SDECFG_AVR32_OPT"
fi

# Force uClibc system library
SDECFGSET_LIBC='uclibc'