../ kernel-default-4.20.rc7-1.1.gb7adfd3.armv6hl.rpm 18-Dec-2018 17:48 32M kernel-default-base-4.20.rc7-1.1.gb7adfd3.armv6..> 18-Dec-2018 17:48 16M kernel-default-devel-4.20.rc7-1.1.gb7adfd3.armv..> 18-Dec-2018 17:48 3M