#!/bin/bash
#
# Generate a header that defines the boot kernel.
#

KVER=`uname -r | sed 's/[^a-zA-Z]//g'`

cat > /boot/kernel.h << EOF
/* This file is automatically generated at boot time. */

#ifndef __BOOT_KERNEL_H_
#define __BOOT_KERNEL_H_

#define __BOOT_KERNEL_vrdr 0
#define __BOOT_KERNEL_tape 0

#undef __BOOT_KERNEL_$KVER
#define __BOOT_KERNEL_$KVER 1

#endif
EOF
