# CONFIG_DM9000 is not set