# CONFIG_SUNWAY_GED is not set
