• Home
  • History
  • Annotate
  • only in this directory
NameDateSize

..25-Jul-201946

HakefileH A D25-Jul-20191.8 KiB

internal.hH A D25-Jul-2019577

main.cH A D25-Jul-20193.5 KiB

README.txtH A D25-Jul-20191.4 KiB

spawn.cH A D25-Jul-201913.5 KiB

README.txt

1This is the startup service.  It reads through the local /bootmodules file 
2and starts up any distributed services and applications (general user 
3domains) it finds.
4
5It first starts up distributed services (identified by 'dist-serv' on their 
6command line) one by one, waiting for each to complete before starting the 
7next one.  
8
9Then it starts up all the apps (those with no 'boot' or 'dist-serv' on
10their command line). For apps it does not wait for each to complete 
11before starting the next one.
12
13Note that startd only runs on one core. It delegates actual startup of 
14dispatchers to appropriate spawnds depending on the the distributed 
15service's or application's 'core=' command line argument.
16
17An example menu.lst file:
18
19timeout 0
20
21title   Barrelfish
22root    (nd)
23kernel  /x86_64/sbin/elver loglevel=3
24module  /x86_64/sbin/cpu loglevel=3
25module  /x86_64/sbin/init
26
27# Domains spawned by init
28module  /x86_64/sbin/mem_serv
29module  /x86_64/sbin/monitor
30
31# Special boot time domains spawned by monitor
32module  /x86_64/sbin/chips boot
33module  /x86_64/sbin/ramfsd boot
34module  /x86_64/sbin/skb boot
35modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
36modulenounzip /skb_ramfs.cpio.gz nospawn
37module  /x86_64/sbin/pci boot
38module  /x86_64/sbin/spawnd boot
39module  /x86_64/sbin/startd boot
40
41# Distributed domains
42module  /x86_64/sbin/mem_serv_dist dist-serv core=0 -ma
43
44# General user domains
45module  /x86_64/sbin/serial core=0
46module  /x86_64/sbin/fish core=0
47