> Date: Thu, 16 Apr 2020 21:31:51 +0100 > From: Stuart Henderson <s...@spacehopper.org> > > 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 > > - 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: > > >