Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/amd64.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/asm_utils.S	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/boot/boot.S	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/context.S	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/ddi/ddi.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/debugger.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/delay.S	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/fpu_context.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/interrupt.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/mm/memory_init.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/mm/page.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/pm.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/proc/task.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/proc/thread.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/smp/ap.S	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/syscall.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/amd64/src/userspace.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Ondrej Palkovsky
+ * Copyright (c) 2005 Ondrej Palkovsky
  * All rights reserved.
  *