14d91e094a
* RaspberryPi4 support * Update kernel file * Fix lint * Fix uboot defconfig * Update firmware for rpi4 * fix naming * Add support for 64bit * fix path for dts
8 lines
131 B
Plaintext
8 lines
131 B
Plaintext
BOARD_ID=rpi4
|
|
BOARD_NAME="RaspberryPi 4"
|
|
CHASSIS=embedded
|
|
BOOTLOADER=uboot
|
|
KERNEL_FILE=zImage
|
|
BOOT_SYS=hyprid
|
|
BOOT_ENV_SIZE=0x4000
|