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

   1 #
   2 # This script is used to describe the commands to start at
   3 # boot-time and the arguments they should receive.
   4 #
   5
   6 kernel /armv8/sbin/cpu_a57v loglevel=3 serial=0x1c090000 gicdist=0x8000000 gic=0x8010000 timeslice=80
   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