git.barrelfish.org Git - barrelfish/blob - usr/mem_serv_dist/menu-mem.lst

   1 timeout 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
  13 title   Barrelfish
  14 root    (nd)
  15 kernel  /kuzi/x86_64/sbin/cpu loglevel=3
  16 module  /kuzi/x86_64/sbin/cpu loglevel=3
  17 module  /kuzi/x86_64/sbin/init
  18
  19 # Domains spawned by init
  20 module  /kuzi/x86_64/sbin/mem_serv
  21 module  /kuzi/x86_64/sbin/monitor
  22
  23 # Special boot time domains spawned by monitor
  24 module  /kuzi/x86_64/sbin/chips boot
  25 module  /kuzi/x86_64/sbin/ramfsd boot
  26 module  /kuzi/x86_64/sbin/skb boot
  27 modulenounzip /kuzi/skb_ramfs.cpio.gz nospawn
  28 module  /kuzi/x86_64/sbin/pci boot
  29 module  /kuzi/x86_64/sbin/spawnd boot
  30 #bootapic-x86_64=1-15
  31
  32 # General user domains
  33 module  /kuzi/x86_64/sbin/mem_serv_dist core=0 -ma -x 1,3 -r 536870912
  34 module  /kuzi/x86_64/sbin/mem_bench_3 core=1 15
  35
  36