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
139 B
Plaintext
8 lines
139 B
Plaintext
BOARD_ID=rpi4-64
|
|
BOARD_NAME="RaspberryPi 4 64bit"
|
|
CHASSIS=embedded
|
|
BOOTLOADER=uboot
|
|
KERNEL_FILE=Image
|
|
BOOT_SYS=hyprid
|
|
BOOT_ENV_SIZE=0x4000
|