(this depends on the patch to u-boot I just sent to ports@)
If we should manage to boot on a Pinebook machine, we should install the
correct firmware for it.
OK?
Index: distrib/arm64/ramdisk/Makefile
===================================================================
RCS file: /cvs/openbsd/src/distrib/arm64/ramdisk/Makefile,v
retrieving revision 1.3
diff -u -p -u -p -r1.3 Makefile
--- distrib/arm64/ramdisk/Makefile 22 Aug 2017 23:20:00 -0000 1.3
+++ distrib/arm64/ramdisk/Makefile 27 Aug 2017 19:48:36 -0000
@@ -19,6 +19,7 @@ MAKEFSARGS_RD= -o disklabel=${DISKTYPE},
DIRS=\
pine64 \
+ pinebook \
rpi
.ifndef DESTDIR
Index: distrib/arm64/ramdisk/install.md
===================================================================
RCS file: /cvs/openbsd/src/distrib/arm64/ramdisk/install.md,v
retrieving revision 1.7
diff -u -p -u -p -r1.7 install.md
--- distrib/arm64/ramdisk/install.md 22 Aug 2017 23:20:00 -0000 1.7
+++ distrib/arm64/ramdisk/install.md 27 Aug 2017 19:44:28 -0000
@@ -40,6 +40,7 @@ md_installboot() {
case $(sysctl -n hw.product) in
*Pine64*) _plat=pine64;;
+ *Pinebook*) _plat=pinebook;;
*'Raspberry Pi'*) _plat=rpi;;
esac
@@ -53,6 +54,7 @@ md_installboot() {
case $_plat in
pine64)
+ pinebook)
dd if=$_mdec/u-boot-sunxi-with-spl.bin of=${_disk}c \
bs=1024 seek=8 >/dev/null 2>&1
;;
--
The reader this message encounters not failing to understand is
cursed.
