#!/bin/sh # # This makes a bootkernel disk in /dev/fd0 from a kernel image. # # Run this in a directory containing the kernels you're gonna use, and a # subdirectory with a master image of the bootkernel disk. # # This is the command to use: # # makedisk kernel_image disk_size # ^^ ^^^^^^^^^ This is 1440 or 1200 # ^^^^^ This is the name (and maybe path to) the kernel you're going # to use, such as scsinet/zImage. # mkdisk() { makedisk $1/zImage 1440 echo "cat /dev/fd0 | gzip -9c > /cdrom/bootdsks.144/$2" cat /dev/fd0 | gzip -9c > /cdrom/bootdsks.144/$2 } for dir in *.b ; do mkdisk $dir `basename $dir .b`.gz done