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

   1 timeout 0
   2
   3 #
   4 # This script is used to describe the commands to start at
   5 # boot-time and the arguments they should receive.
   6 #
   7 # Kernel arguments are not read from this script. On QEMU they can be
   8 # set using 'qemu-system-arm -append ...'.
   9
  10 title   Barrelfish
  11 #root   (nd)
  12 kernel  /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
  13 module  /armv7/sbin/cpu_a15ve
  14 module  /armv7/sbin/init
  15
  16 # Domains spawned by init
  17 module  /armv7/sbin/mem_serv
  18 module  /armv7/sbin/monitor
  19
  20 # Special boot time domains spawned by monitor
  21 module /armv7/sbin/ramfsd boot
  22 module /armv7/sbin/skb boot
  23 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
  24 modulenounzip /skb_ramfs.cpio.gz nospawn
  25 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4
  26 module /armv7/sbin/spawnd boot
  27 module /armv7/sbin/startd boot
  28
  29 # Device drivers
  30 # module /armv7/sbin/serial_pl011 auto
  31 module /armv7/sbin/serial_kernel irq=37
  32 module /armv7/sbin/corectrl auto
  33
  34 # General user domains
  35 module /armv7/sbin/angler serial0.terminal dumb
  36 module /armv7/sbin/fish nospawn
  37
  38 module /armv7/sbin/memtest
  39
  40 # gem5 simulates 512MB of RAM starting at 0x80000000
  41 #        start       size       id
  42 mmap map 0x00000000  0x80000000 13 # Device region
  43 mmap map 0x80000000  0x20000000 1