File l4env-servers-in-boot.txt of Package tud-l4env

# list of l4 servers and l4env applications to install into /boot
# see the %install section of l4env.spec

bootstrap
l4v2/bmodfs
l4v2/bmsi
l4v2/bmsi-init-l4
l4v2/con
l4v2/copyfs
l4v2/dm_phys
l4v2/events
l4v2/himd
#l4v2/l4dope
l4v2/l4io
l4v2/libld-l4.s.so
l4v2/libloader.s.so
l4v2/loader
l4v2/log
l4v2/lyon-stpm
l4v2/lyon-tis
l4v2/mlrpc_forwarder
l4v2/names
l4v2/ore
#l4v2/proxygon
l4v2/roottask
l4v2/rtc
l4v2/run
l4v2/sigma0
#l4v2/simple_ts
l4v2/stpm-l4-tis
#l4v2/tftp
l4v2/tpmemu-l4
l4v2/tpmrun