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

   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=3 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_A7x4
  26 module /armv7/sbin/spawnd boot
  27 module /armv7/sbin/proc_mgmt boot
  28 module /armv7/sbin/startd boot
  29
  30 # Device drivers
  31 # module /armv7/sbin/serial_pl011 auto
  32 module /armv7/sbin/serial_kernel irq=37
  33 module /armv7/sbin/corectrl nospawn
  34
  35 # General user domains
  36 module /armv7/sbin/angler serial0.terminal dumb
  37 module /armv7/sbin/fish nospawn
  38
  39 module /armv7/sbin/memtest
  40
  41 # gem5 simulates 512MB of RAM starting at 0x80000000
  42 #        start       size       id
  43 mmap map 0x00000000  0x80000000 13 # Device region
  44 mmap map 0x80000000  0x20000000 1