l4/pkg/l4re-core/l4util/LEGAL

   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
   5 # left empty.
   6 # Source-file spec can be a directory name or a wildcard like "src/*.c".
   7 doc : TUD
   8 include/ARCH-x86/L4API-l4f : TUD
   9 include/ARCH-x86/apic.h : GPL
  10 include/ARCH-x86/atomic_arch.h : TUD
  11 include/ARCH-x86/bitops.h : TUD
  12 include/ARCH-x86/cpu.h : TUD
  13 include/ARCH-x86/idt.h : TUD
  14 include/ARCH-x86/irq.h : TUD
  15 include/ARCH-x86/mb_info.h : GPL
  16 include/ARCH-x86/mbi_argv.h : GPL
  17 include/ARCH-x86/perform.h : GPL
  18 include/ARCH-x86/port_io.h : TUD
  19 include/ARCH-x86/rdtsc.h : TUD
  20 include/ARCH-x86/spin.h : TUD
  21 include/ARCH-x86/stack_impl.h : TUD
  22 include/ARCH-x86/util.h : TUD
  23 include/ARCH-arm/__libc_panic.h : TUD
  24 include/ARCH-arm/atomic_arch.h : TUD
  25 include/ARCH-arm/bitops.h : TUD
  26 include/ARCH-arm/cpu.h : TUD
  27 include/ARCH-arm/irq.h : TUD
  28 include/ARCH-arm/mb_info.h : TUD
  29 include/ARCH-arm/mbi_argv.h : TUD
  30 include/Makefile : TUD
  31 include/alloc.h : TUD
  32 include/atomic.h : TUD
  33 include/getopt.h : GPL
  34 include/kip.h : TUD
  35 include/lock.h : TUD
  36 include/macros.h : TUD
  37 include/memdesc.h : TUD
  38 include/parse_cmd.h : TUD
  39 include/rand.h : TUD
  40 include/reboot.h : TUD
  41 include/sll.h : TUD
  42 include/stack.h : TUD
  43 include/thread.h : TUD
  44 include/util.h : TUD
  45 lib/Makefile : TUD
  46 lib/src/ARCH-arm : TUD
  47 lib/src/ARCH-x86/apic.c : GPL
  48 lib/src/ARCH-x86/kip_area.S : TUD
  49 lib/src/ARCH-x86/perform.c : TUD
  50 lib/src/ARCH-x86/pmc_events.in : TUD
  51 lib/src/ARCH-x86/rdtsc.c : GPL
  52 lib/src/ARCH-x86/reboot.c : TUD
  53 lib/src/ARCH-x86/spin.c : TUD
  54 lib/src/Makefile : TUD
  55 lib/src/__main.c : TUD
  56 lib/src/alloc.c : TUD
  57 lib/src/base64.c : Trantor Standard Systems Inc. : MIT
  58 lib/src/getopt2.c : TUD
  59 lib/src/kip.c : TUD
  60 lib/src/memdesc.c : TUD
  61 lib/src/micros2l4to.c : TUD
  62 lib/src/parse_cmdline.c : TUD
  63 lib/src/rand.c : TUD
  64 lib/src/reboot.c : TUD
  65 lib/src/reboot_arch.h : TUD
  66 lib/src/setjmp.c : TUD
  67 lib/src/sleep.c : TUD
  68 lib/src/thread.c : TUD