#include <list/list.h>
-#define DEFAULT_BOOT_TIMEOUT_SEC 10
-
struct device_handler;
struct discover_device;
struct discover_server;
struct resource *boot_image;
struct resource *initrd;
+ struct resource *dtb;
struct resource *icon;
};
struct discover_device *device_lookup_by_name(struct device_handler *handler,
const char *name);
-struct discover_device *device_lookup_by_path(struct device_handler *handler,
- const char *path);
struct discover_device *device_lookup_by_uuid(struct device_handler *handler,
const char *uuid);
struct discover_device *device_lookup_by_label(struct device_handler *handler,
void device_handler_boot(struct device_handler *handler,
struct boot_command *cmd);
+void device_handler_cancel_default(struct device_handler *handler);
#endif /* _DEVICE_HANDLER_H */