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 31module /x86_64/sbin/proc_mgmt boot 32#bootapic-x86_64=1-15 33module /x86_64/sbin/startd boot 34module /x86_64/sbin/routing_setup boot 35 36# Drivers 37module /x86_64/sbin/pci auto 38module /x86_64/sbin/corectrl auto 39module /x86_64/sbin/ahcid auto 40module /x86_64/sbin/serial_pc16550d auto 41 42## For networking 43module /x86_64/sbin/e1000n auto 44module /x86_64/sbin/net_sockets_server nospawn 45 46# General user domains 47module /x86_64/sbin/fish nospawn 48module /x86_64/sbin/angler serial0.terminal xterm 49 50