system/arm/orangepi.rst

107 To boot the newly build linux kernel in QEMU with the Orange Pi PC machine, use:
112       -kernel /path/to/linux/arch/arm/boot/zImage \
114       -dtb /path/to/linux/arch/arm/boot/dts/sun8i-h3-orangepi-pc.dtb
143 For example, to boot using the Orange Pi PC Debian image on SD card, simply add the -sd
149       -kernel /path/to/linux/arch/arm/boot/zImage \
151       -dtb /path/to/linux/arch/arm/boot/dts/sun8i-h3-orangepi-pc.dtb \
192 u-boot binary to the -kernel argument:
197       -kernel /path/to/uboot/u-boot -sd disk.img
199 Use the following U-boot commands to load and boot a Linux kernel from SD card:
225   $ dd if=/path/to/u-boot-sunxi-with-spl.bin of=armv7.img bs=1024 seek=8 conv=notrunc
242 At the U-Boot stage, interrupt the automatic boot process by pressing a key
253 To continue booting simply give the 'boot' command and NetBSD boots.