git.barrelfish.org Git - barrelfish/blob - hake/menu.lst.armv8_a57v

   1 #
   2 # This script is used to describe the commands to start at
   3 # boot-time and the arguments they should receive.
   4 #
   5 bootdriver  /armv8/sbin/boot_armv8_generic
   6 cpudriver /armv8/sbin/cpu_a57v loglevel=3 serial=0x9000000 gicdist=0x8000000 gic=0x8010000
   7 stack 131072
   8 module /armv8/sbin/init
   9
  10 # Domains spawned by init
  11 module /armv8/sbin/mem_serv
  12 module /armv8/sbin/monitor
  13
  14 # Special boot time domains spawned by monitor
  15 module /armv8/sbin/ramfsd boot
  16 module /armv8/sbin/skb boot
  17 module /armv8/sbin/kaluga boot
  18 module /armv8/sbin/spawnd boot
  19 module /armv8/sbin/startd boot
  20 module /armv8/sbin/acpi boot
  21
  22 # ramfs contents
  23 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
  24 modulenounzip /skb_ramfs.cpio.gz nospawn
  25
  26 # Drivers
  27 # module /armv8/sbin/corectrl auto
  28 module /armv8/sbin/pci auto
  29
  30
  31 # General user domains
  32 #module /armv8/sbin/serial_tmas auto portbase=2
  33 #module /armv8/sbin/fish nospawn
  34 #module /armv8/sbin/angler serial0.terminal xterm
  35
  36 # End of file, this needs to have a certain length...