First outline of a process management service server.
[barrelfish] / hake / menu.lst.x86_64
1 timeout 0
2
3 # spawnd is used to control which cpus are booted
4 #
5 # "spawnd boot" will use the skb and pci to figure out and
6 #  boot all cores in the machine
7 #
8 # "spawnd boot bootapic-x86_64=1-5" will not use the skb and
9 # boot the list of cores passed as argument.
10 # The APIC id of the cores to boot should be specified.
11 # This list may not include the bsp core id.
12
13 title   Barrelfish
14 root    (nd)
15 kernel  /x86_64/sbin/elver loglevel=3
16 module  /x86_64/sbin/cpu loglevel=3
17 module  /x86_64/sbin/init
18
19 # Domains spawned by init
20 module  /x86_64/sbin/mem_serv
21 module  /x86_64/sbin/monitor
22
23 # Special boot time domains spawned by monitor
24 module  /x86_64/sbin/ramfsd boot
25 module  /x86_64/sbin/skb boot
26 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
27 modulenounzip /skb_ramfs.cpio.gz nospawn
28 module  /x86_64/sbin/kaluga boot
29 module  /x86_64/sbin/acpi boot
30 module  /x86_64/sbin/spawnd boot
31 module  /x86_64/sbin/proc_mgmt boot
32 #bootapic-x86_64=1-15
33 module  /x86_64/sbin/startd boot
34 module /x86_64/sbin/routing_setup boot
35
36 # Drivers
37 module /x86_64/sbin/pci auto
38 module /x86_64/sbin/corectrl auto
39 module /x86_64/sbin/ahcid auto
40 module  /x86_64/sbin/serial_pc16550d auto
41
42 ## For networking
43 module /x86_64/sbin/rtl8029 auto
44 module /x86_64/sbin/e1000n auto
45
46 ## Other services needed for networking
47 module /x86_64/sbin/NGD_mng auto
48 module /x86_64/sbin/netd auto
49
50 # General user domains
51 module  /x86_64/sbin/fish nospawn
52 module  /x86_64/sbin/angler serial0.terminal xterm
53