include $(TOP)/configs/debian-ppc

CONFIG_NAME = debian-ppc64