Use a tux icon as the default for boot options

[petitboot] / petitboot.h

diff --git a/petitboot.h b/petitboot.h
index 147fe7f2d004bfa98a44c57bc35da4d48ecf2ea8..a77bfef7c864e2035e18f55824ce785ef94c7dd5 100644 (file)
--- a/petitboot.h
+++ b/petitboot.h
@@ -12,5 +12,6 @@ int pboot_add_option(int devindex, const char *title,
                     const char *subtitle, twin_pixmap_t *badge, void *data);
 int pboot_remove_device(const char *dev_id);
 
-int pboot_start_device_discovery(void);
+int pboot_start_device_discovery(int udev_trigger);
 void pboot_exec_option(void *data);
+void pboot_message(const char *message);