Kernels moved to galaxy 22 September 2023, 00:26:25 For linux-rt, linux-rt-lts or linux-hardened kernels:Those kernels have been moved to galaxy so the repo has to be enabled to keep receiving upgrades.Don't forget to also add the gremlins version if you use gremlins on world and system. 4 Likes