Index: kernel/arch/ia32xen/src/asm.S
===================================================================
--- kernel/arch/ia32xen/src/asm.S	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/asm.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2001-2004 Jakub Jermar
+# Copyright (c) 2001-2004 Jakub Jermar
 # All rights reserved.
 #
Index: kernel/arch/ia32xen/src/boot/boot.S
===================================================================
--- kernel/arch/ia32xen/src/boot/boot.S	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/boot/boot.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2006 Martin Decky
+# Copyright (c) 2006 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ia32xen/src/drivers/xconsole.c
===================================================================
--- kernel/arch/ia32xen/src/drivers/xconsole.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/drivers/xconsole.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/ia32xen.c
===================================================================
--- kernel/arch/ia32xen/src/ia32xen.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/ia32xen.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/interrupt.c
===================================================================
--- kernel/arch/ia32xen/src/interrupt.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/interrupt.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/mm/as.c
===================================================================
--- kernel/arch/ia32xen/src/mm/as.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/mm/as.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/mm/frame.c
===================================================================
--- kernel/arch/ia32xen/src/mm/frame.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/mm/frame.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/mm/memory_init.c
===================================================================
--- kernel/arch/ia32xen/src/mm/memory_init.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/mm/memory_init.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/mm/page.c
===================================================================
--- kernel/arch/ia32xen/src/mm/page.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/mm/page.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32xen/src/mm/tlb.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/mm/tlb.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/pm.c
===================================================================
--- kernel/arch/ia32xen/src/pm.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/pm.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32xen/src/proc/scheduler.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/proc/scheduler.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/proc/task.c
===================================================================
--- kernel/arch/ia32xen/src/proc/task.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/proc/task.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/proc/thread.c
===================================================================
--- kernel/arch/ia32xen/src/proc/thread.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/proc/thread.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/smp/apic.c
===================================================================
--- kernel/arch/ia32xen/src/smp/apic.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/smp/apic.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/smp/ipi.c
===================================================================
--- kernel/arch/ia32xen/src/smp/ipi.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/smp/ipi.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/smp/mps.c
===================================================================
--- kernel/arch/ia32xen/src/smp/mps.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/smp/mps.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2005 Jakub Jermar
+ * Copyright (c) 2001-2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/smp/smp.c
===================================================================
--- kernel/arch/ia32xen/src/smp/smp.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/smp/smp.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/userspace.c
===================================================================
--- kernel/arch/ia32xen/src/userspace.c	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/src/userspace.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
