===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.30
retrieving revision 1.31
diff -c -r1.30 -r1.31
*** www/arm64.html	2020/04/15 10:04:09	1.30
--- www/arm64.html	2020/04/15 23:34:28	1.31
***************
*** 61,67 ****
  </pre>
  
  <p>
! The Raspberry Pi 4 is only supported when using EDK2-base UEFI
  firmware.  By default the boot ROM will only try to load the firmware
  off an SD card.  As with the Raspberry Pi 3 there is no SD/MMC driver
  yet, but there are no manual steps needed to boot from a USB disk
--- 61,67 ----
  </pre>
  
  <p>
! The Raspberry Pi 4 is only supported when using EDK2-based UEFI
  firmware.  By default the boot ROM will only try to load the firmware
  off an SD card.  As with the Raspberry Pi 3 there is no SD/MMC driver
  yet, but there are no manual steps needed to boot from a USB disk