diff options
| -rw-r--r-- | conf/machine/raspberrypi4-64.conf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf index 7c9792c..ae305cc 100644 --- a/conf/machine/raspberrypi4-64.conf +++ b/conf/machine/raspberrypi4-64.conf | |||
| @@ -31,6 +31,4 @@ KERNEL_IMAGETYPE_UBOOT ?= "Image" | |||
| 31 | KERNEL_IMAGETYPE_DIRECT ?= "Image" | 31 | KERNEL_IMAGETYPE_DIRECT ?= "Image" |
| 32 | KERNEL_BOOTCMD ?= "booti" | 32 | KERNEL_BOOTCMD ?= "booti" |
| 33 | 33 | ||
| 34 | RPI_EXTRA_CONFIG += "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1" | ||
| 35 | |||
| 36 | ARMSTUB ?= "armstub8-gic.bin" | 34 | ARMSTUB ?= "armstub8-gic.bin" |