../ kernel-default-5.5.13-1.1.g0af205d.armv7hl.rpm 05-Apr-2020 09:57 60M kernel-default-devel-5.5.13-1.1.g0af205d.armv7h..> 05-Apr-2020 09:57 5M