# CONFIG_EMBEDDED is not set