# 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/oskit_support.c : TUD
server/src/ARCH-x86/serial.c : TUD
server/src/ARCH-x86/serial.h : 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/init_hazelnut.c : TUD
server/src/init_ibm_nucleus.c : TUD
server/src/init_l4_gmd.c : TUD
server/src/libc_support.c : TUD
server/src/loader_mbi.c : TUD
server/src/loader_mbi.h : TUD
server/src/module.h : TUD
server/src/modules.list : TUD
server/src/region.c : TUD
server/src/region.h : TUD
server/src/startup.c : TUD
server/src/startup.h : TUD
server/src/types.h : TUD : TUD
server/src/uncompress.c : TUD
server/src/uncompress.h : TUD
server/src/version.h : TUD

