MEDIUM_SUPPORTED = netboot MEDIUM_SUPPORTED_EXTRA = monolithic # The version of the kernel to use. KERNELVERSION = 1.3.99-1-486 KERNELMAJOR = 1.3.99 KERNEL_FLAVOUR = di KERNELNAME = gnumach.gz ext2fs.static ld.so.1 KERNELIMAGEVERSION = $(KERNELVERSION) # The codename of the Debian release that should be installed by default. DEBIAN_RELEASE = unstable # GRUB configuration file GRUB_CFG=boot/hurd/grub-hurd-i386.cfg include config/hurd.cfg