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

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

bootstrap
l4v2/bmodfs
l4v2/con
l4v2/dm_phys
l4v2/events
#l4v2/l4dope
l4v2/l4io
l4v2/libld-l4.s.so
l4v2/libloader.s.so
l4v2/loader
l4v2/log
l4v2/names
l4v2/ore
#l4v2/proxygon
l4v2/roottask
l4v2/rtc
l4v2/run
l4v2/sigma0
l4v2/simple_ts
l4v2/tftp