hake: remove menu.lst.armv8_gem5
authorReto Achermann <reto.achermann@inf.ethz.ch>
Sat, 25 Feb 2017 09:20:04 +0000 (10:20 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 16 Mar 2017 07:14:52 +0000 (08:14 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

hake/menu.lst.armv8_gem5 [deleted file]

diff --git a/hake/menu.lst.armv8_gem5 b/hake/menu.lst.armv8_gem5
deleted file mode 100644 (file)
index 90cd883..0000000
+++ /dev/null
@@ -1,44 +0,0 @@
-# Copyright (c) 2015, ETH Zurich.
-# Copyright (c) 2015, Hewlett Packard Enterprise Development LP.
-# All rights reserved.
-#
-# This file is distributed under the terms in the attached LICENSE file.
-# If you do not find this file, copies can be found by writing to:
-# ETH Zurich D-INFK, Universit√§tstasse 6, CH-8092 Zurich. Attn: Systems Group.
-
-timeout 0
-
-#
-# This script is used to describe the commands to start at
-# boot-time and the arguments they should receive.
-#
-# Kernel arguments are not read from this script. On QEMU they can be
-# set using 'qemu-system-arm -append ...'.
-
-title  Barrelfish
-#root  (nd)
-kernel /armv8/sbin/cpu_gem5 loglevel=3
-module /armv8/sbin/cpu_gem5
-module /armv8/sbin/init
-
-# Domains spawned by init
-module  /armv8/sbin/mem_serv
-module /armv8/sbin/monitor
-
-# Special boot time domains spawned by monitor
-module /armv8/sbin/ramfsd boot
-module /armv8/sbin/skb boot
-module /armv8/sbin/spawnd boot
-module /armv8/sbin/startd boot
-
-# General user domains
-module /armv8/sbin/serial auto
-module /armv8/sbin/fish nospawn
-module  /armv8/sbin/angler serial0.terminal xterm
-
-module /armv8/sbin/memtest core=0
-
-# GEM5 simulates 256MB of RAM starting at 0x0
-#        start      size       id
-mmap map 0x00000000 0x10000000 1
-