kumquat-buildroot/board/radxa/rock-pi4
..
extlinux.conf
genimage.cfg
post-build.sh
readme.txt

Intro
=====

Radxa Rock Pi4 is a RK3399 SoC based ARM64 board.

Wiki: https://wiki.radxa.com/Rockpi4

Build
=====

Run Rock Pi 4 configuration

  $ make radxa_rock_pi4_defconfig

To build, run make comamnd.

  $ make

Files created in output directory
=================================

output/images

├── bl31.bin
├── bl31.elf
├── Image
├── rk3399-rock-pi-4.dtb
├── rootfs.ext2
├── rootfs.ext4 -> rootfs.ext2
├── rootfs.tar
├── sdcard.img
├── u-boot.bin
├── u-boot.itb
├── u-boot-spl-dtb.bin
├── u-boot-tpl-dtb.bin
├── u-boot-tpl-dtb.img
└── u-boot-tpl-spl-dtb.img

Creating bootable SD card:
=========================

Simply invoke (as root)

  # dd if=output/images/sdcard.img of=/dev/sdX && sync

Where X is your SD card device

Serial console
--------------

Baudrate for this board is 1500000