pick the PL kernel for bootCD
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Fri, 4 Feb 2011 15:13:11 +0000 (10:13 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Fri, 4 Feb 2011 15:13:11 +0000 (10:13 -0500)
commited5bdc820b8e3f888f8079162560a05c392e29de
tree51242071eb8c6d73d6c7dce14084fa721ce7c076
parent1787763d4663d83b1908b3b8688c53d47d8bde64
pick the PL kernel for bootCD
plc.d/bootcd-kernel