> 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:
>  
> 
> 

Reply via email to