Ordered myself one of these:
https://www.pine64.org/?page_id=7147
and it arrived yesterday. Got the basics working already. Gigabit
Ethernet doesn't quite work yet and the device tree in mainline Linux
is broken and causes the USB bus not to be powered.
Firmware situation isn't ideal as it currently relies on closed source
components from Rockchip that have a license that doesn't allow
redistribution. Apparently patches for U-Boot exist to avoid those
but those haven't landed in mainline U-Boot yet.
OpenBSD 6.2-current (GENERIC.MP) #25: Sun Feb 25 21:14:51 CET 2018
kette...@parry.sibelius.xs4all.nl:/home/kettenis/src/rock64/sys/arch/arm64/compile/GENERIC.MP
real mem = 2086510592 (1989MB)
avail mem = 1990930432 (1898MB)
mainbus0 at root: Pine64 Rock64
cpu0 at mainbus0 mpidr 0: ARM Cortex-A53 r0p4
efi0 at mainbus0: UEFI 2.0.5
efi0: Das U-boot rev 0x0
psci0 at mainbus0: PSCI 1.0
syscon0 at mainbus0: "syscon"
rkclock0 at mainbus0
syscon1 at mainbus0: "syscon"
ampintc0 at mainbus0 nirq 160, ncpu 4 ipi: 0, 1: "interrupt-controller"
rkpinctrl0 at mainbus0: "pinctrl"
rkgpio0 at rkpinctrl0
rkgpio1 at rkpinctrl0
rkgpio2 at rkpinctrl0
rkgpio3 at rkpinctrl0
simplebus0 at mainbus0: "amba"
agtimer0 at mainbus0: tick rate 24000 KHz
com0 at mainbus0: ns16550, no working fifo
com0: console
rkiic0 at mainbus0
iic0 at rkiic0
rkpmic0 at iic0 addr 0x18: RK805
dwmmc0 at mainbus0: 96 MHz base clock
sdmmc0 at dwmmc0: 4-bit
dwmmc1 at mainbus0: 0 MHz base clock
sdmmc1 at dwmmc1: 8-bit
dwge0 at mainbus0
dwge0: address: 82:ab:2b:8e:96:47
rgephy0 at dwge0 phy 0: RTL8169S/8110S/8211 PHY, rev. 6
rgephy1 at dwge0 phy 1: RTL8169S/8110S/8211 PHY, rev. 6
ehci0 at mainbus0
usb0 at ehci0: USB revision 2.0
uhub0 at usb0 configuration 1 interface 0 "Generic EHCI root hub" rev 2.00/1.00
addr 1
cpu1 at mainbus0 mpidr 1: ARM Cortex-A53 r0p4
cpu2 at mainbus0 mpidr 2: ARM Cortex-A53 r0p4
cpu3 at mainbus0 mpidr 3: ARM Cortex-A53 r0p4
scsibus0 at sdmmc0: 2 targets, initiator 0
sd0 at scsibus0 targ 1 lun 0: <SD/MMC, BB2MW, 0030> SCSI2 0/direct removable
sd0: 30543MB, 512 bytes/sector, 62552064 sectors
sdmmc1: can't enable card
cdce0 at uhub0 port 1 configuration 2 interface 0 "TP-LINK USB 10/100/1000 LAN"
rev 2.10/30.00 addr 2
cdce0: address f4:f2:6d:18:1a:e2
vscsi0 at root
scsibus1 at vscsi0: 256 targets
softraid0 at root
scsibus2 at softraid0: 256 targets
bootfile: sd0a:/bsd
boot device: sd0
root on sd0a (945c5b02147ba041.a) swap on sd0b dump on sd0b
