From 5dabf876cfd813fab53262a106487e195b7cba6a Mon Sep 17 00:00:00 2001 From: Matthias Reichl Date: Tue, 13 Jul 2021 12:52:23 +0200 Subject: [PATCH] RPi4: change distroconfig to boot 64bit kernel Signed-off-by: Matthias Reichl --- projects/RPi/devices/RPi4/config/distroconfig.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/projects/RPi/devices/RPi4/config/distroconfig.txt b/projects/RPi/devices/RPi4/config/distroconfig.txt index 7bdd2f429c..d50481b195 100644 --- a/projects/RPi/devices/RPi4/config/distroconfig.txt +++ b/projects/RPi/devices/RPi4/config/distroconfig.txt @@ -2,6 +2,8 @@ # Copyright (C) 2019-present Team LibreELEC (https://libreelec.tv) # WARNING: DO NOT EDIT THIS FILE - IT WILL BE OVERWRITTEN WHEN UPGRADING! +arm_64bit=1 +kernel=kernel.img dtoverlay=vc4-kms-v3d,cma-512 dtoverlay=rpivid-v4l2 dtoverlay=