\begin{verbatim}
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
close as practical to that of an old-style GRUB menu.lst file. The example
configuration in \autoref{f:hag_config} loads
\texttt{/armv8/sbin/cpu\_apm88xxxx} as the CPU driver, with arguments
-\texttt{loglevel=4}, and an 8192B (2-page) stack.
+\texttt{loglevel=3}, and an 8192B (2-page) stack.
\begin{figure}[htb]
\begin{center}
\begin{lstlisting}
-kernel /armv8/sbin/cpu_apm88xxxx loglevel=4
+kernel /armv8/sbin/cpu_apm88xxxx loglevel=3
stack 8192
module /armv8/sbin/cpu_apm88xxxx
module /armv8/sbin/init
title Barrelfish
stack 16384
-kernel /armv8/sbin/cpu_foundation loglevel=4
+kernel /armv8/sbin/cpu_foundation loglevel=3
module /armv8/sbin/init
title Barrelfish
stack 16384
-kernel /armv8/sbin/cpu_foundation loglevel=4
+kernel /armv8/sbin/cpu_foundation loglevel=3
module /armv8/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
+kernel /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
module /armv7/sbin/cpu_a15ve
module /armv7/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 consolePort=0
+kernel /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 consolePort=0
module /armv7/sbin/cpu_a15ve
module /armv7/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 consolePort=0
+kernel /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 consolePort=0
module /armv7/sbin/cpu_a15ve
module /armv7/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
+kernel /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
module /armv7/sbin/cpu_a15ve
module /armv7/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
+kernel /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
module /armv7/sbin/cpu_a15ve
module /armv7/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_a15ve loglevel=4 periphbase=0x2c000000 consolePort=0 timerirq=29
+kernel /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 consolePort=0 timerirq=29
module /armv7/sbin/cpu_a15ve
module /armv7/sbin/init
title Barrelfish
#root (nd)
-kernel /armv7/sbin/cpu_omap44xx loglevel=4 consolePort=2
+kernel /armv7/sbin/cpu_omap44xx loglevel=3 consolePort=2
module /armv7/sbin/cpu_omap44xx
module /armv7/sbin/init
# set using 'qemu-system-arm -append ...'.
title Barrelfish
-kernel /armv7/sbin/cpu_zynq7 loglevel=4 consolePort=1
+kernel /armv7/sbin/cpu_zynq7 loglevel=3 consolePort=1
module /armv7/sbin/cpu_zynq7
module /armv7/sbin/init
# boot-time and the arguments they should receive.
#
-kernel /armv8/sbin/cpu_a57v loglevel=4 serial=0x9000000 gicdist=0x8000000 gic=0x8010000
+kernel /armv8/sbin/cpu_a57v loglevel=3 serial=0x9000000 gicdist=0x8000000 gic=0x8010000
stack 131072
module /armv8/sbin/init
title Barrelfish
#root (nd)
-kernel /armv8/sbin/cpu_gem5 loglevel=4
+kernel /armv8/sbin/cpu_gem5 loglevel=3
module /armv8/sbin/cpu_gem5
module /armv8/sbin/init
title Barrelfish
root (nd)
-kernel /k1om/sbin/cpu loglevel=4
+kernel /k1om/sbin/cpu loglevel=3
module /k1om/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_32/sbin/cpu loglevel=4
-module /x86_32/sbin/cpu loglevel=4
+kernel /x86_32/sbin/cpu loglevel=3
+module /x86_32/sbin/cpu loglevel=3
module /x86_32/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
#define debug(_subs, _fmt, ...) \
do { \
- if (((_subs) & kernel_log_subsystem_mask) && (kernel_loglevel > LOG_DEBUG)) \
+ if (((_subs) & kernel_log_subsystem_mask) && (kernel_loglevel >= LOG_DEBUG)) \
printk(LOG_DEBUG, _fmt, ## __VA_ARGS__); \
} while(0)
timeout 0\r
title Barrelfish-demo\r
root (nd)\r
-kernel /barrelfish/x86_64/sbin/cpu loglevel=4 logmask=0\r
+kernel /barrelfish/x86_64/sbin/cpu loglevel=3 logmask=0\r
#\r
# Essentials\r
#\r
f.write("title Barrelfish \n")
f.write("root (nd) \n")
f.write("kernel /" + machine.get_tftp_subdir() + "/k1om/sbin/weever\n")
- f.write("module /" + machine.get_tftp_subdir() + "/k1om/sbin/cpu loglevel=4 \n")
+ f.write("module /" + machine.get_tftp_subdir() + "/k1om/sbin/cpu loglevel=3 \n")
f.write("module /" + machine.get_tftp_subdir() + "/k1om/sbin/init\n")
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /kuzi/x86_64/sbin/cpu loglevel=4
-module /kuzi/x86_64/sbin/cpu loglevel=4
+kernel /kuzi/x86_64/sbin/cpu loglevel=3
+module /kuzi/x86_64/sbin/cpu loglevel=3
module /kuzi/x86_64/sbin/init
# Domains spawned by init
title Barrelfish
root (nd)
-kernel /x86_64/sbin/elver loglevel=4
-module /x86_64/sbin/cpu loglevel=4
+kernel /x86_64/sbin/elver loglevel=3
+module /x86_64/sbin/cpu loglevel=3
module /x86_64/sbin/init
# Domains spawned by init