Files
foc/l4/pkg/bootstrap/LEGAL
2017-05-02 15:25:27 +02:00

34 lines
1.0 KiB
Plaintext

# Format: (all on one line)
# Source file : Copyright Owner(s) : License
# Please use "TUD" when referring to TU Dresden.
# If sole owner is TUD, the license field defaults to GPL and can be
# left empty.
# Source-file spec can be a directory name or a wildcard like "src/*.c".
Makefile : TUD
server/Makefile : TUD
server/src/ARCH-x86/bootsect.S : GPL
server/src/ARCH-x86/bootstrap.ld.in : TUD
server/src/ARCH-x86/crt0.S : TUD
server/src/ARCH-x86/setup.S : GPL
server/src/ARCH-x86/xen.c
server/src/ARCH-arm/bootstrap.ld.in : TUD
server/src/Makefile : TUD
server/src/base_critical.c : TUD
server/src/base_critical.h : TUD
server/src/build.pl : TUD
server/src/exec.c : TUD
server/src/exec.h : TUD
server/src/gunzip.c : GPL
server/src/gunzip.h : GPL
server/src/init.h : TUD
server/src/libc_support+.cc : TUD
server/src/module.h : TUD
server/src/modules.list : TUD
server/src/region.cc : TUD
server/src/region.h : TUD
server/src/startup.cc : TUD
server/src/startup.h : TUD
server/src/types.h : TUD : TUD
server/src/uncompress.c : TUD
server/src/uncompress.h : TUD