../ kernel-default-4.15.15-1.1.g4904fc3.armv7hl.rpm 22-Apr-2018 15:17 55M kernel-default-base-4.15.15-1.1.g4904fc3.armv7h..> 22-Apr-2018 15:17 22M kernel-default-devel-4.15.15-1.1.g4904fc3.armv7..> 22-Apr-2018 15:17 4M