# 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".
doc : TUD
include/ARCH-arm/elf.h : GPL
include/ARCH-arm/exec.h : TUD
include/ARCH-arm/errno.h : TUD
include/ARCH-x86 : TUD
include/Makefile : TUD
examples : TUD
idl : TUD
lib : TUD
server : TUD
