diff --git a/procedure.txt b/procedure.txt
index daf1183..5456a1a 100644
--- a/procedure.txt
+++ b/procedure.txt
@@ -1,7 +1,17 @@
-make it bootable with UEFI and BIOS?
+TODO:
 compare sizes of glibc and musl installations
-try running multiple MC versions on musl
+try running multiple MC versions on musl (incl ThatModPack)
 need xdg menu maker?
+check if there are problems with GRUB’s --disk-module=native on real USB drives on real hardware
+test that the (RAM) boot option allows you to install to the stick the system booted off
+adjust required USB stick and RAM size in README
+
+musl downsides:
+  - no nvidia drivers
+  - may be janky in regards to running some Minecraft versions
+musl upsides:
+  - ??
+
 
 ideas:
 use shell script for init, call real init via exec
@@ -12,11 +22,13 @@ system lives on squashfs
     -> fstrim (if applicable)
 swap on zram
 f2fs for home
-tmpfs for package cache, /tmp, logs?
 
 when backing up
 - do not cross file system boundaries
 - exclude /tmp, package cache, logs
+- possibly only save the changes in separate squashfs images
+  - either until it takes up too much space or until a certain number of images exist
+  - consolidate when the user requests it or when exceeding the limit
 
 Steps to install:
   - (user does this:) boot Void installer
@@ -49,7 +61,7 @@ Steps to install:
     -> select installation type (x86_32/x86_64/aarch64, glibc/musl)
       -> if musl, add that bit to repo url
     -> install packages
-      -> linux bash shadow f2fs-tools dosfstools dbus NetworkManager iana-etc iw wpa_supplicant util-linux which tar man-pages iproute2 iputils wifi-firmware traceroute grep gzip file sed gawk less coreutils findutils diffutils pciutils usbutils tzdata base-files ncurses mdocml procps-ng kbd xbps sudo ethtool kmod eudev runit-void removed-packages nano acpid squashfs-tools
+      -> linux bash shadow f2fs-tools dosfstools dbus NetworkManager iana-etc iw wpa_supplicant util-linux which tar man-pages iproute2 iputils wifi-firmware traceroute grep gzip file sed gawk less coreutils findutils diffutils pciutils usbutils tzdata base-files ncurses mdocml procps-ng kbd xbps sudo ethtool kmod eudev runit-void removed-packages nano acpid squashfs-tools grub grub-i386-efi grub-x86_64-efi
     -> configure XBPS mirror
     -> configure sudo
       -> drop a file with "%wheel ALL=(ALL:ALL) ALL" in /etc/sudoers.d/sudo_group
@@ -68,10 +80,18 @@ Steps to install:
       -> selection dialog?
       -> symlink /etc/localtime
     -> configure host name
-    -> configure and install bootloader
-      -> if x86 install for both UEFI and BIOS
-        -> Is there a way we can make this work with 32-bit AND 64-bit EFI at the same time?
-      -> if ARM install only UEFI
+    -> install and configure bootloader
+      -> install GRUB for i386-pc, i386-efi, x86_64-efi
+      -> --removable and --no-nvram for EFI
+      -> --boot-directory set to /boot/loader to prevent grub-mkconfig kernel hook from running
+        -> state as much in a text file in there
+      -> add kernel hooks
+        -> script to run /opt/void-usb/grub-config
+        -> a script that updates vmlinu{z,x} and initramfs.img symlinks
+          -> add symlinks for newly installed kernel
+          -> guess best choice when removing the currently symlinked kernel
+          -> ask whether to run vkpurge if disk space is low
+      -> download grub-config and its resources and drop them in /opt/void-usb
     -> xbps-reconfigure -fa
     -> prepare 2nd stage installation
       -> auto login root
@@ -94,6 +114,7 @@ Steps to install:
       -> pipewire (pulsemixer?)
       -> ask about nvidia driver
         -> install if needed
+        -> find out when and where to set `nvidia-drm.modeset=1`
       -> ask whether to use CTWM or IceWM
         -> short description of up and downsides
         -> if CTWM, also install