#!/bin/sh
#
# How to make a kernel.deb:
#

### Does this work???
###
if [ -e /usr/src/dsdt_table.h ]; then
	echo CONFIG_ACPI_CUSTOM_DSDT=y >> /usr/src/linux/.config
	echo CONFIG_ACPI_CUSTOM_DST_FILE=\"/usr/src/dsdt_table.h\" >> /usr/src/linux/.config
	cd /usr/src/linux
	make oldconfig
fi

# Adopt these parameters
revision=1.1

# Append current date to the kernel-name
append=-vanilla.`date +%d%m%y`

# cd to loplevel source path
cd /usr/src/linux

# build the package...
fakeroot make-kpkg --append-to-version=$append --revision=$revision kernel_image
### fakeroot make-kpkg --append-to-version=$append kernel_image