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
modulenounzip /skb_ramfs.cpio.gz nospawn
module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4_A7x4
module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
module /armv7/sbin/startd boot
# Device drivers