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

   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 consolePort=0
  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_A15x1
  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_kernel auto
  32 module /armv7/sbin/serial_pl011 auto
  33 module /armv7/sbin/driverdomain auto
  34 module /armv7/sbin/driverdomain_pl390 auto
  35 module /armv7/sbin/corectrl auto
  36
  37 # General user domains
  38 module /armv7/sbin/angler serial0.terminal dumb
  39 module /armv7/sbin/fish nospawn
  40
  41 module /armv7/sbin/int_route
  42 module /armv7/sbin/memtest
  43
  44 # gem5 simulates 512MB of RAM starting at 0x80000000
  45 #        start       size       id
  46 mmap map 0x00000000  0x80000000 13 # Device region
  47 mmap map 0x80000000  0x40000000  1
  48 mmap map 0xC0000000  0x40000000  1