1 # Format: (all on one line)
2 # Source file : Copyright Owner(s) : License
3 # Please use "TUD" when referring to TU Dresden.
4 # If sole owner is TUD, the license field defaults to GPL and can be
6 # Source-file spec can be a directory name or a wildcard like "src/*.c".
9 include-x2 : Universität Karlsruhe
10 lib/src/L4API-l4x2 : Universität Karlsruhe