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_64=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_64/sbin/elver loglevel=3 16module /x86_64/sbin/cpu loglevel=3 17module /x86_64/sbin/init 18 19# Domains spawned by init 20module /x86_64/sbin/mem_serv 21module /x86_64/sbin/monitor 22 23# Special boot time domains spawned by monitor 24module /x86_64/sbin/ramfsd boot 25module /x86_64/sbin/skb boot 26modulenounzip /eclipseclp_ramfs.cpio.gz nospawn 27modulenounzip /skb_ramfs.cpio.gz nospawn 28module /x86_64/sbin/kaluga boot 29module /x86_64/sbin/acpi boot 30module /x86_64/sbin/spawnd boot 31#bootapic-x86_64=1-15 32module /x86_64/sbin/startd boot 33module /x86_64/sbin/routing_setup boot 34 35# General user domains 36module /x86_64/sbin/examples/xmpl-hello 37