# --- ROCK-COPYRIGHT-NOTE-BEGIN ---
# 
# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
# Please add additional copyright information _after_ the line containing
# the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by
# the ./scripts/Create-CopyPatch script. Do not edit this copyright text!
# 
# ROCK Linux: rock-src/architecture/alpha/config.in
# ROCK Linux is Copyright (C) 1998 - 2005 Clifford Wolf
# 
# 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; either version 2 of the License, or
# (at your option) any later version. A copy of the GNU General Public
# License can be found at Documentation/COPYING.
# 
# Many people helped and are helping developing ROCK Linux. Please
# have a look at https://www.rocklinux.org/ and the Documentation/TEAM
# file for details.
# 
# --- ROCK-COPYRIGHT-NOTE-END ---

choice ROCKCFG_ALPHA_OPT generic \
	generic		"No special optimisation"	\
	ev4		"Optimised for EV4 CPU"		\
	ev45		"Optimised for EV4.5 CPU"	\
	ev5		"Optimised for EV5 CPU"		\
	ev56		"Optimised for EV5.6 CPU"	\
	pca56		"Optimised for PCA5.6 CPU"	\
	ev6		"Optimised for EV6 CPU"		\
	ev67		"Optimised for EV6.7 CPU"

if [ $ROCKCFG_ALPHA_OPT != generic ] ; then
	ROCKCFG_ID="$ROCKCFG_ID-$ROCKCFG_ALPHA_OPT"
fi