Operating Systems · Institute for System Architecture · Dept. of CS · TU Dresden

Open Trusted Computing (OpenTC)




Components in the snapshot

Main components

fiasco
l4linux
dice

L4Env

l4/pkg/bootstrap
l4/pkg/bmsi
l4/pkg/crtx
l4/pkg/cxx
l4/pkg/dde
l4/pkg/dde_linux
l4/pkg/demangle
l4/pkg/dm_generic
l4/pkg/dm_mem
l4/pkg/dm_phys
l4/pkg/drivers
l4/pkg/events
l4/pkg/generic_fprov
l4/pkg/generic_io
l4/pkg/generic_ts
l4/pkg/input
l4/pkg/ipcmon
l4/pkg/l4env
l4/pkg/l4io
l4/pkg/l4rm
l4/pkg/l4sys
l4/pkg/l4util
l4/pkg/libsigma0
l4/pkg/libc_backends
l4/pkg/libc_backends_l4env
l4/pkg/libc_support
l4/pkg/libcrypto
l4/pkg/linux-24-headers
l4/pkg/linux-26-headers
l4/pkg/ldso
l4/pkg/loader
l4/pkg/lock
l4/pkg/log
l4/pkg/lxfuxlibc
l4/pkg/lyon
l4/pkg/lxfreeze
l4/pkg/lxMir
l4/pkg/names
l4/pkg/omega0
l4/pkg/ore
l4/pkg/roottask
l4/pkg/rtc
l4/pkg/semaphore
l4/pkg/serial
l4/pkg/sigma0
l4/pkg/slab
l4/pkg/stpm
l4/pkg/task
l4/pkg/thread
l4/pkg/uclibc
l4/pkg/uclibc_r
l4/pkg/uclibc++
14. Apr 2008
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum ·