Hi Mark, as often i forgot those steps, may i suggest to include the followings below ?
without it, seems (for me) impossible to write to the installed emmc from the installer. Thank you. On Mon, 20 Apr 2020 01:33:05 +0200 (CEST) Mark Kettenis <[email protected]> wrote: > > Date: Thu, 16 Apr 2020 21:31:51 +0100 > > From: Stuart Henderson <[email protected]> > > > > any comments? ok? > > ok kettenis@ > > > Index: prep > > =================================================================== > > RCS file: /cvs/src/distrib/notes/arm64/prep,v > > retrieving revision 1.9 > > diff -u -p -r1.9 prep > > --- prep 15 Apr 2020 11:41:08 -0000 1.9 > > +++ prep 16 Apr 2020 20:29:56 -0000 > > @@ -24,11 +24,11 @@ Booting from an SD card: > > storage devices. Under OpenBSD, it will appear as a ``sd'' device, for > > example sd1. > > > > > > - Use the dd(1) utility to copy the miniroot to the hard drive. > > + Use the dd(1) utility to copy the miniroot to the SD card. > > The command would likely be, under OpenBSD: > > dd if=miniroot{:--:}OSrev.fs of=/dev/rsd1c bs=1m + (maybe only for minirootfs & rockchip installation) + If not installed : + # pkg_add u-boot-aarch64 + # pkg_add dtb + To install dtb to usb stick + # mount /dev/sd1i /mnt + # mkdir /mnt/vendor + # cp /usr/local/share/dtb/arm64/rockchip/$(vendor).dtb /mnt/vendor/ + # umount /mnt > > > > - When you have connected the serial to you computer, a command such > > + When you have connected the serial to your computer, a command such > > as "cu -l cuaU0 -s 115200" (assuming cuaU0 is your serial port device) > > should connect you to the board's console. > > > > @@ -48,6 +48,35 @@ script. > > => bootefi ${kernel_addr_r} ${fdt_addr_r} > > The bootloader will then run and try to load sd0a:/bsd off an FFS > > filesystem after a timeout. > > + > > +Install on Raspberry Pi 4: > > + > > + You will need a microSD card (only a small one is needed), a USB > > + storage device, a TTL serial interface adapter (e.g. CP2102 USB-UART > > + converter), and a cable to attach this to the TXD/RXD/GND pins on the > > + https://pinout.xyz/ header on the board. > > + > > + Follow the installation instructions at https://github.com/pftf/RPi4 > > + to install UEFI firmware to a FAT-formatted microSD card. > > + > > + Use the dd(1) utility to copy the miniroot to the USB storage device. > > + The command would likely be, under OpenBSD: > > + dd if=miniroot{:--:}OSrev.fs of=/dev/rsd1c bs=1m > > + > > + When you have connected the serial to your computer, a command such > > + as "cu -l cuaU0 -s 115200" (assuming cuaU0 is your serial port device) > > + should connect you to the board's console. > > + > > + Shortly after powering the board, you should see messages on the serial > > + console starting with "Initialising SDRAM" followed by messages from the > > + UEFI firmware. If you have a monitor connected to the HDMI port, you > > + should see a multi-coloured screen followed by UEFI firmware output. > > + If you do not see this, re-check your UEFI firmware installation. > > + > > + OpenBSD should boot automatically soon after loading the UEFI firmware. > > + If a monitor is connected you will see messages from the boot loader, > > + but after the kernel has started running you will only see output on > > + the serial console. > > > > Install on systems without a supported miniroot: > > > > > > -- burelli.fr <[email protected]>
