diff options
Diffstat (limited to 'conf/machine/raspberrypi4-64.conf')
| -rw-r--r-- | conf/machine/raspberrypi4-64.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf index 2914c74..e308577 100644 --- a/conf/machine/raspberrypi4-64.conf +++ b/conf/machine/raspberrypi4-64.conf | |||
| @@ -32,3 +32,5 @@ 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" | 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" | ||