On Tue, Jul 14, 2020 at 05:48:34PM +0200, Mark Kettenis wrote:
> > Date: Tue, 14 Jul 2020 15:10:04 +1000
> > From: Jonathan Gray <j...@jsg.id.au>
> >
> > On Mon, Jul 13, 2020 at 11:26:12PM +0200, Sebastian Reitenbach wrote:
> > > Hi,
> > >
> > > eventually got my hands on a PinebookPro, installation went fine.
> > >
> > > Prepard SD card for initial installation alike:
> > >
> > > mount /dev/${DEV}i /mnt
> > > mkdir /mnt/rockchip
> > > cp /usr/local/share/dtb/arm64/rockchip/rk3399-pinebook-pro.dtb
> > > /mnt/rockchip
> > > umount /mnt
> >
> > U-Boot includes a builtin dtb in this case, why use the linux one?
> >
> > > dd if=/usr/local/share/u-boot/pinebook-pro-rk3399/idbloader.img
> > > of=/dev/${DEV}c seek=64
> > > dd if=/usr/local/share/u-boot/pinebook-pro-rk3399/u-boot.itb
> > > of=/dev/${DEV}c seek=16384
> > >
> > > DTB and u-boot files are from following packages:
> > > dtb-5.7p0 Device Tree Blobs
> > > u-boot-aarch64-2020.07 U-Boot firmware
> >
> > You are not using U-Boot 2020.07 in your dmesg.
> > "U-Boot 2020.01-4-g908d441fef (Jan 20 2020 - 05:02:39 +0000) Manjaro ARM"
>
> The RK3399 SoC has the annoying property that it prefers eMMC over uSD
> when booting. I believe that there is a switch inside the pinebook
> pro to disable the eMMC. Alternatively you can wipe the start of the
> eMMC or install the newer U-Boot on the eMMC.
I had no problems installing Debian on my PinebookPro. I used some
old Debian and put it on the usb pendrive, booted off that and
installed an up-to-date Debian on uSD card, then booted from the uSD
card so I could encrypt the eMMC and replace the Manjaro with an
encrypted Debian.
At no point do I remember having to do anything other than preparing
the media, it always booted from either the pendrive or eMMC,
without me having to change anything.
Just my experience on my PinebookPro, and not related to OpenBSD.
R
--
"We are in the beginning of a mass extinction, and all you can talk
about is money and fairy tales of eternal economic growth."
- Greta Thunberg
