2.) Boot is only possible from microSD card. USB is not supported.
3.) Build BareBox with https://www.barebox.org/doc/latest/boards/rockchip.html
Use `rk-splitboot` to split FlashData from the original boot loader, other option doesn't work. Build it, it will create barebox-radxa-rock.img. It's .img, not the .bin.
Write an SD card as in the instruction.
4.) Follow these instructions, but use the generic image.
https://archlinuxarm.org/platforms/armv7/amlogic/odroid-c1
http://os.archlinuxarm.org/os/ArchLinuxARM-armv7-latest.tar....
5.) Build kernel as in this tutorial, ignore the `dts` stuff. The `dts` comes with the kernel sources.
https://wiki.radxa.com/Rock/Linux_Mainline
https://github.com/torvalds/linux/blob/master/arch/arm/boot/...
6.) Copy the zImage, rk3188-radxarock.dts to the /boot and plug in the UART.
7.) sudo picocom /dev/ttyUSB1 -b 115200 -e w
8.) Boot in the bootloader and execute the following commands:
global.bootm.appendroot=true
global.bootm.image=/mnt/mshc1.0/boot/zImage
global.bootm.oftree=/mnt/mshc1.0/boot/dtbs/rk3188-radxarock.dtb
bootm
9.) If it boots, you can make it permanent by following the BareBox docs.