# This will make a target directory of ./ds10
# Note that this is RELATIVE TO WHERE YOU ARE WHEN YOU RUN THE 
# CONFIG TOOL. Make it absolute if you like
target ds10

mainboard compaq/ds10

# Enable Serial Console for debugging
# It will come up at 115200,8n1
option SERIAL_CONSOLE=1

# Enable SROM_CONSOLE
# This uses the SROM serial debug port at 9600 baud
option SROM_CONSOLE

#option USE_CACHE_RAM=0
option USE_ELF_BOOT=1
option USE_TSUNAMI_TIGBUS_ROM=1
option TIG_KERNEL_START=0x20000 

# Path to your kernel (vmlinux)
# NOTE; you need a path to your test12 kernel here. 
#linux ~/projects/linux/linux-2.4.0-test9.eb5.4

# Kernel command line parameters
commandline console=ttyS0,115200 root=/dev/nfs alpha_mv=Webbrick ip=192.168.0.252:192.168.0.253::255.255.255.0:ds10:eth0:off nfsroot=/mnt/hdb/images/alpha-nfs-boot