(TXT) diskd4
 (BIN) kernel.tgz