This is my fault. The sample config files are out-of-date. Here is a working config file for the winfast. It uses DoC.
# Sample config file for Winfast 6300 with DoC Millennium (as root) # This will make a target directory of ./winfast target winfast # WinFast 6300 MAX mainboard mainboard leadtek/winfast6300 # Enable Serial Console for debugging option SERIAL_CONSOLE # Use the internal VGA frame buffer device # Fixme: this does not effect the Makefile rules for docipl option HAVE_FRAMEBUFFER option UPDATE_MICROCODE option CONFIGURE_L2_CACHE linux ~/src/bios/linux-2.4.0-test11.sis commandline root=/dev/hda1 single docipl northsouthbridge/sis/630/ipl.S option USE_DOC_MIL
