(BIN) kernel.DEV.tgz
 (BIN) kernel.sys
 (BIN) kernel.tgz