44 lines
1.3 KiB
Plaintext
44 lines
1.3 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/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
|
|
|