This may be a dumb question but I am running the 4.9 kernel on my test Vero 4K+, I finally got around to looking at the Kodi logs and see this on startup:
2020-06-23 13:58:01.962 T:4064583680 NOTICE: -----------------------------------------------------------------------
2020-06-23 13:58:01.962 T:4064583680 NOTICE: Starting Kodi (18.7). Platform: Linux ARM (Thumb) 32-bit
2020-06-23 13:58:01.962 T:4064583680 NOTICE: Using Release Kodi x32 build (version for Vero)
2020-06-23 13:58:01.962 T:4064583680 NOTICE: Kodi compiled 2020-06-10 by GCC 6.3.0 for Linux ARM (Thumb) 32-bit version 4.9.110 (264558)
2020-06-23 13:58:01.962 T:4064583680 NOTICE: Running on Open Source Media Center 2020.06-1, kernel: Linux ARM 32-bit version 4.9.113-20-osmc
2020-06-23 13:58:01.962 T:4064583680 NOTICE: FFmpeg version/source: 4.0.4-Kodi
My dumb question is why is it a 32 bit kernel vs. a 64 bit ? Sam mentioned in this thread that the Vero 4K could run 64 bit. I am running 64 bit Kodi on on other platforms and I do realize that makes some binary addos incompatible if they haven’t been compiled for 64 bit. The Kodi team is trying to move everything to 64 bit. I think I made an assumption that 4.9 would be 64 bit so I thought I’d inquire.