A bit of dmesg pr0n. Same form-factor as the Raspberry Pi (fits in a standard Pi case) but has real Gigabit Ethernet. The micro-SD card slot works as well. Ethernet works as well, but needs an ifconfig up and down after booting. Still working on the external USB ports, which are unfortunately Designware crap like the Pi. But allegedly with proper DMA. A bit more expensive than the Pi, but the CPU cores should be faster. Definitely better build quality than the cheap Chinese Allwinner boards. 32-bit only though.
I uploaded U-Boot for this board at https://sibelius.home.xs4all.nl/rk3288/u-boot-with-spl.bin which you can write to an micro-SD card with dd if=u-boot-with-spl.bin of=/dev/sdXc seek=64 All the bits have just been committed, so it may take a few days before they appear in a snapshot. Cheers, Mark OpenBSD 6.1-current (GENERIC) #19: Tue Jul 25 22:10:48 CEST 2017 kette...@tinker.sibelius.xs4all.nl:/usr/src/sys/arch/armv7/compile/GENERIC real mem = 2147483648 (2048MB) avail mem = 2097524736 (2000MB) mainbus0 at root: Tinker-RK3288 cpu0 at mainbus0: ARM Cortex-A12 r0p1 (ARMv7) cpu0: DC enabled IC enabled WB disabled EABT branch prediction enabled cpu0: 32KB(64b/l,4way) I-cache, 32KB(64b/l,4way) wr-back D-cache rkgrf0 at mainbus0 rkgrf1 at mainbus0 rkclock0 at mainbus0 rkgrf2 at mainbus0 rkpinctrl0 at mainbus0: "pinctrl" rkgpio0 at rkpinctrl0 rkgpio1 at rkpinctrl0 rkgpio2 at rkpinctrl0 rkgpio3 at rkpinctrl0 rkgpio4 at rkpinctrl0 rkgpio5 at rkpinctrl0 rkgpio6 at rkpinctrl0 rkgpio7 at rkpinctrl0 rkgpio8 at rkpinctrl0 agtimer0 at mainbus0: tick rate 24000 KHz dwmmc0 at mainbus0: 59 MHz base clock dwmmc0: reset failed dwmmc0: width 1 sdmmc0 at dwmmc0: 4-bit com0 at mainbus0: ns16550, no working fifo com1 at mainbus0: ns16550, no working fifo com2 at mainbus0: ns16550, no working fifo com2: console com3 at mainbus0: ns16550, no working fifo com4 at mainbus0: ns16550, no working fifo dwge0 at mainbus0 dwge0: address: 2c:4d:54:42:b6:a9 rgephy0 at dwge0 phy 0: RTL8169S/8110S/8211 PHY, rev. 5 rgephy1 at dwge0 phy 1: RTL8169S/8110S/8211 PHY, rev. 5 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 dwdog0 at mainbus0 ampintc0 at mainbus0 nirq 192, ncpu 4 dwmmc0: ocr 0x00300000 dwmmc0: freq 400 timing 0 dwmmc0: div 75 dwmmc0: ocr 0x00300000 dwmmc0: freq 25000 timing 0 dwmmc0: div 2 dwmmc0: width 4 dwmmc0: freq 50000 timing 1 dwmmc0: div 1 scsibus0 at sdmmc0: 2 targets, initiator 0 sd0 at scsibus0 targ 1 lun 0: <SD/MMC, SD08G, 0030> SCSI2 0/direct removable sd0: 7600MB, 512 bytes/sector, 15564800 sectors uaudio0 at uhub0 port 1 configuration 1 interface 0 "Generic USB Audio" rev 2.00/0.00 addr 2 uaudio0: ignored setting with format 8193 uaudio0: audio rev 1.00, 10 mixer controls audio0 at uaudio0 uhidev0 at uhub0 port 1 configuration 1 interface 255 "Generic USB Audio" rev 2.00/0.00 addr 2 uhidev0: iclass 3/0, 5 report ids uhid0 at uhidev0 reportid 3: input=4, output=0, feature=0 uhid1 at uhidev0 reportid 5: input=4, output=0, feature=0 vscsi0 at root scsibus1 at vscsi0: 256 targets softraid0 at root scsibus2 at softraid0: 256 targets boot device: sd0 root on sd0a (506e6bd7cbdecdab.a) swap on sd0b dump on sd0b WARNING: CHECK AND RESET THE DATE!
