pick the greatest version as a kernel
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Thu, 3 Feb 2011 19:45:55 +0000 (14:45 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Thu, 3 Feb 2011 19:45:55 +0000 (14:45 -0500)
commita5a81c8503cf7a0d0f5c19fa1d3847953053f37f
treef32a9dedd9fedfb4bd25da0d203d9ecadca9de2e
parent206e9650eac66e3bc6140c489b283357df60dae0
pick the greatest version as a kernel
plc.d/bootcd-kernel