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

   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 kernel  /armv7/sbin/cpu_zynq7 loglevel=3 consolePort=1
  12 module  /armv7/sbin/cpu_zynq7
  13 module  /armv7/sbin/init
  14
  15 # Domains spawned by init
  16 module  /armv7/sbin/mem_serv
  17 module  /armv7/sbin/monitor
  18
  19 # Special boot time domains spawned by monitor
  20 module /armv7/sbin/ramfsd boot
  21 module /armv7/sbin/skb boot
  22 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
  23 modulenounzip /skb_ramfs.cpio.gz nospawn
  24 module /armv7/sbin/kaluga boot add_device_db=plat_zynq7
  25 module /armv7/sbin/spawnd boot
  26 module /armv7/sbin/proc_mgmt boot
  27 module /armv7/sbin/startd boot
  28
  29 # Device drivers
  30 # module /armv7/sbin/serial_kernel irq=82
  31 module /armv7/sbin/corectrl nospawn
  32
  33 # General user domains
  34 module /armv7/sbin/angler serial0.terminal dumb
  35 module /armv7/sbin/fish nospawn
  36
  37 module /armv7/sbin/memtest
  38
  39 #        start       size       id
  40 mmap map 0x00000000  0x40000000  1
  41 mmap map 0x80000000  0x80000000 13 # Devices