git.barrelfish.org Git - barrelfish/blob - usr/examples/xmpl-thc-lang/menu.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  /x86_64/sbin/elver loglevel=3
  16 module  /x86_64/sbin/cpu loglevel=3
  17 module  /x86_64/sbin/init
  18
  19 # Domains spawned by init
  20 module  /x86_64/sbin/mem_serv
  21 module  /x86_64/sbin/monitor
  22
  23 # Special boot time domains spawned by monitor
  24 module  /x86_64/sbin/ramfsd boot
  25 module  /x86_64/sbin/skb boot
  26 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
  27 modulenounzip /skb_ramfs.cpio.gz nospawn
  28 module  /x86_64/sbin/kaluga boot
  29 module  /x86_64/sbin/acpi boot
  30 module  /x86_64/sbin/spawnd boot
  31 #bootapic-x86_64=1-15
  32 module  /x86_64/sbin/startd boot
  33 module /x86_64/sbin/routing_setup boot
  34
  35 # General user domains
  36 module /x86_64/sbin/examples/xmpl-thc-lang core=0 server
  37 module /x86_64/sbin/examples/xmpl-thc-lang core=1 client 0
  38 module /x86_64/sbin/examples/xmpl-thc-lang core=1 client 1
  39 module /x86_64/sbin/examples/xmpl-thc-lang core=1 client 2