+# ./install.sh [options]
+#
+# options include:
+# "--esp" to install to the ESP rather than to the system's root
+# filesystem. This is the default on Linux
+# "--usedefault {devicefile}" to install as default
+# (/EFI/BOOT/BOOTX64.EFI and similar) to the specified
+# device (/dev/sdd1 or whatever) without registering with
+# the NVRAM
+# "--drivers" to install drivers along with regular files