Assertion list
new kernel (subgroup of kernel ) → AtLocation
Results from Ascent++: 1
new kernel → AtLocation → arch/arm/boot 0.25