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/cpu loglevel=3 16module /x86_64/sbin/init 17 18# Domains spawned by init 19module /x86_64/sbin/mem_serv 20module /x86_64/sbin/monitor 21 22# Special boot time domains spawned by monitor 23module /x86_64/sbin/ramfsd boot 24module /x86_64/sbin/skb boot 25module /x86_64/sbin/spawnd boot bootapic-x86_64=1 26module /x86_64/sbin/startd boot 27 28# General user domains 29module /x86_64/sbin/hellotest core=0 30module /x86_64/sbin/hellotest core=1 31 32# Phyiscal memory at 1MB up to 512MB 33# (This should match the physical memory size configured 34# in the simulator, e.g. via Benchmarks.py) 35mmap map 0x100000 0x20000000 1 36