Orange Pi Lite Installation Woes

Hello,

I've been trying to install NetBSD onto an SD card destined for an Orange Pi Lite (Allwinner H3).

These are the steps I have done, referring to this page: https://wiki.netbsd.org/ports/evbarm/allwinner/

2. dd if=armv7.img of=/dev/disk4 bs=1m conv=sync

3. dd if=u-boot-sunxi-with-spl.bin of=/dev/disk4 bs=1k seek=8 conv=sync

Output of TTY is below.

How do I fix this? The Orange Pi Lite is officially supported apparently.

I hooked up my orange pi lite to a USB TTY and this is what I get as output:

U-Boot SPL 2018.11 (Nov 29 2019 - 02:59:40 +0000)

DRAM: 512 MiB

Trying to boot from MMC1

U-Boot 2018.11nb4 (Nov 29 2019 - 02:59:40 +0000) Allwinner Technology

CPU: Allwinner H3 (SUN8I 1680)

Model: Xunlong Orange Pi Lite

DRAM: 512 MiB

MMC: SUNXI SD/MMC: 0

Loading Environment from FAT... *** Warning - bad CRC, using default environment

In: serial

Out: serial

Err: serial

Net: No ethernet found.

starting USB...

USB0: USB EHCI 1.00

USB1: USB OHCI 1.0

USB2: USB EHCI 1.00

USB3: USB OHCI 1.0

scanning bus 0 for devices... 1 USB Device(s) found

scanning bus 2 for devices... 1 USB Device(s) found

scanning usb for storage devices... 0 Storage Device(s) found

Hit any key to stop autoboot: 0

switch to partitions #0, OK

mmc0 is current device

Scanning mmc 0:1...

Found U-Boot script /boot.scr

249 bytes read in 1 ms (243.2 KiB/s)

## Executing script at 43100000

MMC Device 1 not found

libfdt fdt_check_header(): FDT_ERR_BADMAGIC

Wrong Image Format for bootm command

ERROR: can't get kernel image!

SCRIPT FAILED: continuing...

15198 bytes read in 3 ms (4.8 MiB/s)

Device 0: device type unknown

... is now current device

No ethernet found.

missing environment variable: pxeuuid