Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/Makefile.inc	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Martin Decky
+# Copyright (c) 2005 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/amd64/include/arch.h
===================================================================
--- kernel/arch/amd64/include/arch.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/arch.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/arg.h
===================================================================
--- kernel/arch/amd64/include/arg.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/arg.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/asm.h
===================================================================
--- kernel/arch/amd64/include/asm.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/asm.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/atomic.h
===================================================================
--- kernel/arch/amd64/include/atomic.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/atomic.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/boot/boot.h
===================================================================
--- kernel/arch/amd64/include/boot/boot.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/boot/boot.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/byteorder.h
===================================================================
--- kernel/arch/amd64/include/byteorder.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/byteorder.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/context.h
===================================================================
--- kernel/arch/amd64/include/context.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/context.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/context_offset.h
===================================================================
--- kernel/arch/amd64/include/context_offset.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/context_offset.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/cpu.h
===================================================================
--- kernel/arch/amd64/include/cpu.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/cpu.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/cpuid.h
===================================================================
--- kernel/arch/amd64/include/cpuid.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/cpuid.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Ondrej Palkovsky
+ * Copyright (c) 2001-2004 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/cycle.h
===================================================================
--- kernel/arch/amd64/include/cycle.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/cycle.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/ddi/ddi.h
===================================================================
--- kernel/arch/amd64/include/ddi/ddi.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/ddi/ddi.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/debugger.h
===================================================================
--- kernel/arch/amd64/include/debugger.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/debugger.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/drivers/vesa.h
===================================================================
--- kernel/arch/amd64/include/drivers/vesa.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/drivers/vesa.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006-2006 Jakub Vana
+ * Copyright (c) 2006-2006 Jakub Vana
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/elf.h
===================================================================
--- kernel/arch/amd64/include/elf.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/elf.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Sergey Bondari
+ * Copyright (c) 2006 Sergey Bondari
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/faddr.h
===================================================================
--- kernel/arch/amd64/include/faddr.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/faddr.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/interrupt.h
===================================================================
--- kernel/arch/amd64/include/interrupt.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/interrupt.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/memstr.h
===================================================================
--- kernel/arch/amd64/include/memstr.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/memstr.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Sergey Bondari
+ * Copyright (c) 2005 Sergey Bondari
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/mm/as.h
===================================================================
--- kernel/arch/amd64/include/mm/as.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/mm/as.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/mm/frame.h
===================================================================
--- kernel/arch/amd64/include/mm/frame.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/mm/frame.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/mm/page.h
===================================================================
--- kernel/arch/amd64/include/mm/page.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/mm/page.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/mm/ptl.h
===================================================================
--- kernel/arch/amd64/include/mm/ptl.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/mm/ptl.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/mm/tlb.h
===================================================================
--- kernel/arch/amd64/include/mm/tlb.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/mm/tlb.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/pm.h
===================================================================
--- kernel/arch/amd64/include/pm.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/pm.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/proc/task.h
===================================================================
--- kernel/arch/amd64/include/proc/task.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/proc/task.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/proc/thread.h
===================================================================
--- kernel/arch/amd64/include/proc/thread.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/proc/thread.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/syscall.h
===================================================================
--- kernel/arch/amd64/include/syscall.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/syscall.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/include/types.h
===================================================================
--- kernel/arch/amd64/include/types.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/include/types.h	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/amd64.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/asm_utils.S
===================================================================
--- kernel/arch/amd64/src/asm_utils.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/asm_utils.S	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Ondrej Palkovsky
+# Copyright (c) 2005 Ondrej Palkovsky
 # All rights reserved.
 #
Index: kernel/arch/amd64/src/boot/boot.S
===================================================================
--- kernel/arch/amd64/src/boot/boot.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/boot/boot.S	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,5 +1,5 @@
 #
-# Copyright (C) 2005 Ondrej Palkovsky
-# Copyright (C) 2006 Martin Decky
+# Copyright (c) 2005 Ondrej Palkovsky
+# Copyright (c) 2006 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/amd64/src/context.S
===================================================================
--- kernel/arch/amd64/src/context.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/context.S	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2001-2004 Jakub Jermar
+# Copyright (c) 2001-2004 Jakub Jermar
 # All rights reserved.
 #
Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/ddi/ddi.c
===================================================================
--- kernel/arch/amd64/src/ddi/ddi.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/ddi/ddi.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/debugger.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/delay.S
===================================================================
--- kernel/arch/amd64/src/delay.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/delay.S	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2001-2004 Jakub Jermar
+# Copyright (c) 2001-2004 Jakub Jermar
 # All rights reserved.
 #
Index: kernel/arch/amd64/src/fpu_context.c
===================================================================
--- kernel/arch/amd64/src/fpu_context.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/fpu_context.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Vana
+ * Copyright (c) 2005 Jakub Vana
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/interrupt.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/mm/memory_init.c
===================================================================
--- kernel/arch/amd64/src/mm/memory_init.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/mm/memory_init.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Josef Cejka
+ * Copyright (c) 2005 Josef Cejka
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/mm/page.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/pm.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
- * Copyright (C) 2005-2006 Ondrej Palkovsky
+ * Copyright (c) 2001-2004 Jakub Jermar
+ * Copyright (c) 2005-2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/proc/task.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/proc/thread.c
===================================================================
--- kernel/arch/amd64/src/proc/thread.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/proc/thread.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/smp/ap.S
===================================================================
--- kernel/arch/amd64/src/smp/ap.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/smp/ap.S	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,5 +1,5 @@
 #
-# Copyright (C) 2001-2004 Jakub Jermar
-# Copyright (C) 2005-2006 Martin Decky
+# Copyright (c) 2001-2004 Jakub Jermar
+# Copyright (c) 2005-2006 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/amd64/src/syscall.c
===================================================================
--- kernel/arch/amd64/src/syscall.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/syscall.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/amd64/src/userspace.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *