diff options
| -rw-r--r-- | conf/machine/raspberrypi4-64.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf index 2455172..e308577 100644 --- a/conf/machine/raspberrypi4-64.conf +++ b/conf/machine/raspberrypi4-64.conf | |||
| @@ -31,6 +31,6 @@ 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\n\n# Limit RAM to 3G. See: https://github.com/raspberrypi/linux/issues/3093\ntotal_mem=3072" | 34 | RPI_EXTRA_CONFIG ?= "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1" |
| 35 | 35 | ||
| 36 | ARMSTUB ?= "armstub8-gic.bin" | 36 | ARMSTUB ?= "armstub8-gic.bin" |