git.barrelfish.org Git - barrelfish/blob - hake/foundation.cfg

   1 # Copyright (c) 2016, ETH Zurich.
   2 #
   3 # This file is distributed under the terms in the attached LICENSE file.
   4 # If you do not find this file, copies can be found by writing to:
   5 # ETH Zurich D-INFK, Universitätstasse 6, CH-8092 Zurich. Attn: Systems Group.
   6
   7 title   Barrelfish
   8 stack   16384
   9 kernel  /armv8/sbin/cpu_foundation loglevel=3
  10 module  /armv8/sbin/init