sha2565sum -c trisquel_9.0-fsf_i686.iso.sha256
sha2565sum -c trisquel_9.0fsf_sources.iso.sha256
+If you want to use a 64 bit image instead, you can get one below, but you'll
+have to copy over the `fsf` directory from the image linked above to your
+member card. Otherwise, you'll be missing the video files that are included in
+the i686 ISO above. The browser window will also currently not launch after
+boot on the alternate 64 bit system.
+
+<http://jenkins.trisquel.info/makeiso-etiona/iso/trisquel_9.0_amd64.iso>
+
## Making a bootable USB drive
This should work on an external USB drive, ideally one that is 12 GB or greater