Whonix for arm64 / Raspberry Pi (RPi)

[raspi]

Cannot boot whonix gateway

Looks like it doesn’t find the root filesystem. I guess, either because it’s not there or because it doesn’t look for the correct UUID. Normally you get dropped to a shell. You can try to run “blkid” and look for the identifier and for the device name, or when you are in the grub menu press “e” and then go to the line with “/dev/disk/ …” and change this to the disk name (like /dev/sda1). There is some build option to decrease the disk size (need to look it up). You can burn the image simi…

“There is some build option to decrease the disk size (need to look it up)”, which option?