Skip to content

Instantly share code, notes, and snippets.

@brb
Created April 15, 2015 14:59
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save brb/aa79e84a2e40bd4b61da to your computer and use it in GitHub Desktop.
Barrelfish menu.lst
timeout 0
# spawnd is used to control which cpus are booted
#
# "spawnd boot" will use the skb and pci to figure out and
# boot all cores in the machine
#
# "spawnd boot bootapic-x86_64=1-5" will not use the skb and
# boot the list of cores passed as argument.
# The APIC id of the cores to boot should be specified.
# This list may not include the bsp core id.
title Barrelfish
root (nd)
kernel /x86_64/sbin/elver loglevel=4
module /x86_64/sbin/cpu loglevel=4
module /x86_64/sbin/init
# Domains spawned by init
module /x86_64/sbin/mem_serv
module /x86_64/sbin/monitor
# Special boot time domains spawned by monitor
module /x86_64/sbin/ramfsd boot
module /x86_64/sbin/skb boot
modulenounzip /skb_ramfs.cpio.gz nospawn
module /x86_64/sbin/kaluga boot
module /x86_64/sbin/acpi boot
module /x86_64/sbin/spawnd boot
#bootapic-x86_64=1-15
module /x86_64/sbin/startd boot
module /x86_64/sbin/routing_setup boot
# Drivers
module /x86_64/sbin/pci auto
module /x86_64/sbin/corectrl auto
module /x86_64/sbin/ahcid auto
## For networking
module /x86_64/sbin/rtl8029 auto
module /x86_64/sbin/e1000n auto
## Other services needed for networking
module /x86_64/sbin/NGD_mng auto
module /x86_64/sbin/netd auto
module /x86_64/sbin/hello
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment