diff options
-rw-r--r-- | conf/machine/raspberrypi4-64.conf | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf new file mode 100644 index 0000000..a03a7c5 --- /dev/null +++ b/conf/machine/raspberrypi4-64.conf | |||
@@ -0,0 +1,25 @@ | |||
1 | #@TYPE: Machine | ||
2 | #@NAME: RaspberryPi 4 Development Board | ||
3 | #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode | ||
4 | |||
5 | MACHINEOVERRIDES = "raspberrypi4:${MACHINE}" | ||
6 | |||
7 | MACHINE_EXTRA_RRECOMMENDS += "\ | ||
8 | linux-firmware-rpidistro-bcm43455 \ | ||
9 | bluez-firmware-rpidistro-bcm4345c0-hcd \ | ||
10 | " | ||
11 | |||
12 | require conf/machine/include/tune-cortexa72.inc | ||
13 | include conf/machine/include/rpi-base.inc | ||
14 | |||
15 | RPI_KERNEL_DEVICETREE = " \ | ||
16 | broadcom/bcm2711-rpi-4-b.dtb \ | ||
17 | " | ||
18 | |||
19 | SDIMG_KERNELIMAGE ?= "kernel8.img" | ||
20 | SERIAL_CONSOLES ?= "115200;ttyS0" | ||
21 | |||
22 | MACHINE_FEATURES_append = " vc4graphics" | ||
23 | VC4DTBO ?= "vc4-fkms-v3d" | ||
24 | |||
25 | KERNEL_IMAGETYPE_DIRECT ?= "Image" | ||