grub-0.97$ cat  menu.lst 
timeout 0

# spawnd is used to control which cpus are booted
#
# "spawnd boot" will use the skb and pci to figure out and
#  boot all cores in the machine
#
# "spawnd boot bootapic-x86_64=1-5" will not use the skb and
# boot the list of cores passed as argument.
# The APIC id of the cores to boot should be specified.
# This list may not include the bsp core id.

title	Barrelfish
root	(nd)
kernel	/barrelfish/x86_64/sbin/elver loglevel=4
module	/barrelfish/x86_64/sbin/cpu loglevel=4
module	/barrelfish/x86_64/sbin/init

# Domains spawned by init
module	/barrelfish/x86_64/sbin/mem_serv
module	/barrelfish/x86_64/sbin/monitor

# Special boot time domains spawned by monitor
module  /barrelfish/x86_64/sbin/ramfsd boot
module  /barrelfish/x86_64/sbin/skb boot
modulenounzip /barrelfish/skb_ramfs.cpio.gz nospawn
module  /barrelfish/x86_64/sbin/kaluga boot
module  /barrelfish/x86_64/sbin/acpi boot
module  /barrelfish/x86_64/sbin/spawnd boot
#bootapic-x86_64=1-15
module  /barrelfish/x86_64/sbin/startd boot
module /barrelfish/x86_64/sbin/routing_setup boot

# Drivers
module /barrelfish/x86_64/sbin/pci auto skb_bridge_program=bridge_bios
module /barrelfish/x86_64/sbin/ahcid auto

## For networking
##module /barrelfish/x86_64/sbin/rtl8029 auto
##module /barrelfish/x86_64/sbin/e1000n auto

## Other services needed for networking
##module /barrelfish/x86_64/sbin/NGD_mng auto
##module /barrelfish/x86_64/sbin/netd auto

# General user domains
module	/barrelfish/x86_64/sbin/serial
module  /barrelfish/x86_64/sbin/fish nospawn
module	/barrelfish/x86_64/sbin/angler serial0.terminal xterm

module /barrelfish/x86_64/sbin/bomp_benchmark_ft 1