pick the PL kernel for bootCD
[bootcd.git] / plc.d /
drwxr-xr-x   ..
-rwxr-xr-x 1204 bootcd
-rwxr-xr-x 1230 bootcd-kernel