1timeout 0 2 3# spawnd is used to control which cpus are booted 4# 5# "spawnd boot" will use the skb and pci to figure out and 6# boot all cores in the machine 7# 8# "spawnd boot bootapic-x86_32=1-5" will not use the skb and 9# boot the list of cores passed as argument. 10# The APIC id of the cores to boot should be specified. 11# This list may not include the bsp core id. 12 13title Barrelfish 14root (nd) 15kernel /x86_32/sbin/cpu loglevel=3 16module /x86_32/sbin/cpu loglevel=3 17module /x86_32/sbin/init 18 19# Domains spawned by init 20module /x86_32/sbin/mem_serv 21module /x86_32/sbin/monitor 22 23# Special boot time domains spawned by monitor 24module /x86_32/sbin/ramfsd boot 25module /x86_32/sbin/skb boot 26modulenounzip /eclipseclp_ramfs.cpio.gz nospawn 27modulenounzip /skb_ramfs.cpio.gz nospawn 28module /x86_32/sbin/kaluga boot 29module /x86_32/sbin/acpi boot 30module /x86_32/sbin/spawnd boot 31#bootapic-x86_32=1-15 32module /x86_32/sbin/startd boot 33module /x86_32/sbin/routing_setup boot 34module /x86_32/sbin/corectrl auto 35 36module /x86_32/sbin/pci auto 37 38# General user domains 39module /x86_32/sbin/serial_pc16550d 40module /x86_32/sbin/fish nospawn 41module /x86_32/sbin/angler serial0.terminal xterm 42