KERNEL_REF:=$(strip $(subst ",, $(DS_KERNEL_REF)))
KERNEL_LAYOUT:=$(strip $(subst ",, $(DS_KERNEL_LAYOUT)))
KERNEL_ARCH:=mips

KERNEL_DUMMY_MAKE_FILES = \
	kernel/linux-2.6.13.1/drivers/char/ubik2/Makefile \
	kernel/linux-2.6.13.1/drivers/char/dect_io/Makefile \
	kernel/linux-2.6.13.1/drivers/char/audio/Makefile \
	kernel/linux-2.6.13.1/drivers/char/Piglet/Makefile \
	kernel/linux-2.6.13.1/drivers/char/avm_power/Makefile \
	kernel/linux-2.6.13.1/drivers/char/flash_update/Makefile \
	kernel/linux-2.6.13.1/drivers/atm/avm_atm/Makefile \
	kernel/linux-2.6.13.1/drivers/usb/ahci/Makefile \
	kernel/linux-2.6.13.1/drivers/usb/misc/usbauth/Makefile \
	kernel/linux-2.6.13.1/drivers/vinax/Makefile \
	kernel/linux-2.6.13.1/drivers/isdn/isdn_fon/Makefile \
	kernel/linux-2.6.13.1/drivers/isdn/isdn_fon2/Makefile \
	kernel/linux-2.6.13.1/drivers/isdn/isdn_fon3/Makefile \
	kernel/linux-2.6.13.1/drivers/isdn/isdn_fon4/Makefile \
	kernel/linux-2.6.13.1/drivers/isdn/isdn_fon5/Makefile \
	kernel/linux-2.6.13.1/drivers/isdn/isdn_fon6/Makefile \
	kernel/linux-2.6.13.1/drivers/net/avm_usb/Makefile \
	kernel/linux-2.6.13.1/drivers/net/rfcntl/Makefile \
	kernel/linux-2.6.13.1/drivers/net/ti_davinci_emac/Makefile \
	kernel/linux-2.6.13.1/drivers/net/wireless/avm_wlan/Makefile \
	kernel/linux-2.6.13.1/drivers/video/davinci/Makefile \
	kernel/linux-2.6.13.1/sound/oss/davinci/Makefile

TARGETS+=kernel