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 /k1om/sbin/cpu loglevel=3 16module /k1om/sbin/init 17 18# Domains spawned by init 19module /k1om/sbin/mem_serv 20module /k1om/sbin/monitor 21 22# Special boot time domains spawned by monitor 23module /k1om/sbin/ramfsd boot 24module /k1om/sbin/skb boot 25module /k1om/sbin/xeon_phi boot 26module /k1om/sbin/spawnd boot 27module /k1om/sbin/proc_mgmt boot 28module /k1om/sbin/startd boot 29 30# drivers 31module /k1om/sbin/corectrl auto 32 33# GDDR Memory we have 6GB on our Xeon PHi 34mmap map 0x0000000000 0x00FEE00000 1 35# memory hole for the APIC and the flash rom 36mmap map 0x00FEE00000 0x120000 3 37mmap map 0x0100000000 0x80000000 1 38