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 36509a9..2914c74 100644 --- a/conf/machine/raspberrypi4-64.conf +++ b/conf/machine/raspberrypi4-64.conf | |||
| @@ -31,4 +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# RPi4 64bit has some limitation - see https://github.com/raspberrypi/linux/commit/cdb78ce891f6c6367a69c0a46b5779a58164bd4b\ntotal_mem=1024\narm_64bit=1" | 34 | RPI_EXTRA_CONFIG ?= "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1" |