PS: I’ve also seen this here: Raspberry Pi OS 64 Bit conversion - #23 by Pedro-Jesus-Fuentes , which suggests that going from 32bit to 64bit is not easy.
(I wonder how it is, if one instead goes to 64bit kernel and 32bit userspace…)
PS: I’ve also seen this here: Raspberry Pi OS 64 Bit conversion - #23 by Pedro-Jesus-Fuentes , which suggests that going from 32bit to 64bit is not easy.
(I wonder how it is, if one instead goes to 64bit kernel and 32bit userspace…)