catch up with the u-boot-aarch64 package split in install docs. changing

the dtb isn't normally needed (and can cause problems) so don't suggest that.
add some info for rk3588. partly from jsg.

diff --git a/distrib/notes/arm64/prep b/distrib/notes/arm64/prep
index e7aadbc..a016236 100644 (file)
--- a/distrib/notes/arm64/prep
+++ b/distrib/notes/arm64/prep
@@ -1,4 +1,4 @@
-dnl    $OpenBSD: prep,v 1.21 2024/08/14 15:34:39 jsg Exp $
+dnl    $OpenBSD: prep,v 1.22 2024/09/28 17:09:52 sthen Exp $
 To perform an installation you must be able to interact with the
 console of the machine.  In some cases this can be done by an attached
 monitor and keyboard.  In others a serial console is required.
@@ -115,32 +115,36 @@ Install on systems without a supported miniroot:
   If a miniroot is not available for your system you will have to modify
   an existing image before booting it.
 
-  To do so first install the u-boot-aarch64 and dtb packages.  Write the
-  provided miniroot image to an SD card:
+  Write the provided miniroot image to an SD card:
 
-       dd if=miniroot{:--:}OSrev.img of=/dev/rsdXc bs=1m
-
-  Add a board specific DTB file (Allwinner and Rockchip U-Boot images
-  come with a default DTB):
-
-       mount /dev/sdXi /mnt
-       mkdir /mnt/vendor
-       cp /usr/local/share/dtb/arm64/vendor/board.dtb /mnt/vendor/
-       umount /mnt
+       dd if=miniroot{:--:}OSrev.img of=/dev/rsdXc bs=1m
 
   For systems based on Allwinner Axx SoCs:
 
-       dd if=/usr/local/share/u-boot/board/u-boot-sunxi-with-spl.bin \
-           of=/dev/sdXc bs=1024 seek=8
+       pkg_add u-boot-sun50i
+       ls /usr/local/share/u-boot/*/u-boot-sunxi-with-spl.bin
+       dd if=/usr/local/share/u-boot/board/u-boot-sunxi-with-spl.bin \
+           of=/dev/sdXc bs=1024 seek=8
 
   For systems based on Rockchip RK33xx SoCs:
 
-       dd if=/usr/local/share/u-boot/board/idbloader.img \
-           of=/dev/sdXc seek=64
-       dd if=/usr/local/share/u-boot/board/u-boot.itb \
-           of=/dev/sdXc seek=16384
+       pkg_add u-boot-aarch64
+       ls /usr/local/share/u-boot/*/u-boot.itb
+       dd if=/usr/local/share/u-boot/board/idbloader.img \
+           of=/dev/sdXc seek=64
+       dd if=/usr/local/share/u-boot/board/u-boot.itb \
+           of=/dev/sdXc seek=16384
 
   For systems based on Rockchip RK356x SoCs:
 
-       dd if=/usr/local/share/u-boot/board/u-boot-rockchip.bin \
-           of=/dev/sdXc seek=64
+       pkg_add u-boot-rk356x
+       ls /usr/local/share/u-boot/*/u-boot-rockchip.bin
+       dd if=/usr/local/share/u-boot/board/u-boot-rockchip.bin \
+           of=/dev/sdXc seek=64
+
+  For systems based on Rockchip RK3588 SoCs:
+
+       pkg_add u-boot-rk3588
+       ls /usr/local/share/u-boot/*/u-boot-rockchip.bin
+       dd if=/usr/local/share/u-boot/board/u-boot-rockchip.bin \
+           of=/dev/sdXc seek=64