include $(TOP)/configs/debian-common
include $(TOP)/configs/linux-alpha

CONFIG_NAME = debian-alpha