===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.31
retrieving revision 1.32
diff -c -r1.31 -r1.32
*** www/arm64.html	2020/04/15 23:34:28	1.31
--- www/arm64.html	2020/05/19 02:02:10	1.32
***************
*** 61,71 ****
  </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
! drive.
  
  <p>
  Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
--- 61,70 ----
  </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 drive.
  
  <p>
  Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
***************
*** 183,197 ****
  
  <p>
  The latest supported OpenBSD/arm64 release is
! <a href="66.html">OpenBSD 6.6</a>.
  Here are the
! <a href="https://ftp.openbsd.org/pub/OpenBSD/6.6/arm64/INSTALL.arm64">
  OpenBSD/arm64 installation instructions</a>.
  
- <p>
- Support for Pinebook Pro and Raspberry Pi 4 was added after OpenBSD
- 6.6 was released.
-   
  <p>
  Snapshots are made available from time to time, in
  <a href="https://cdn.openbsd.org/pub/OpenBSD/snapshots/arm64">this location</a>
--- 182,192 ----
  
  <p>
  The latest supported OpenBSD/arm64 release is
! <a href="67.html">OpenBSD 6.7</a>.
  Here are the
! <a href="https://ftp.openbsd.org/pub/OpenBSD/6.7/arm64/INSTALL.arm64">
  OpenBSD/arm64 installation instructions</a>.
  
  <p>
  Snapshots are made available from time to time, in
  <a href="https://cdn.openbsd.org/pub/OpenBSD/snapshots/arm64">this location</a>