--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2017/10/22 00:39:08	1.63
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2017/10/22 16:25:18	1.64
@@ -41,6 +41,7 @@ Initial, limited, Raspberry Pi support w
 
  - USB (host); isochronous transfers.
  - WiFi
+ - Raspberry Pi 3 in 64-bit mode.  (Note that this will be provided by the evbarm64 port, rather than evbarm.)
 
 # CPU types
 
@@ -48,7 +49,7 @@ Note that one can also use code for earl
 
  - Raspberry Pi 1 uses "earmv6hf".
  - Raspberry Pi 2 uses "earmv7hf".
- - Raspberry Pi 3 uses "earmv7hf".  (NetBSD does not yet have 64-bit support.)
+ - Raspberry Pi 3 uses "earmv7hf".
 
 # Installation