Index: kernel/arch/ia32xen/Makefile.inc
===================================================================
--- kernel/arch/ia32xen/Makefile.inc	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/Makefile.inc	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2006 Martin Decky
+# Copyright (c) 2006 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ia32xen/include/asm.h
===================================================================
--- kernel/arch/ia32xen/include/asm.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/asm.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,6 +1,6 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
- * Copyright (C) 2005 Sergey Bondari
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2001-2004 Jakub Jermar
+ * Copyright (c) 2005 Sergey Bondari
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/boot/boot.h
===================================================================
--- kernel/arch/ia32xen/include/boot/boot.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/boot/boot.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/drivers/xconsole.h
===================================================================
--- kernel/arch/ia32xen/include/drivers/xconsole.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/drivers/xconsole.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/hypercall.h
===================================================================
--- kernel/arch/ia32xen/include/hypercall.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/hypercall.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/as.h
===================================================================
--- kernel/arch/ia32xen/include/mm/as.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/mm/as.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/asid.h
===================================================================
--- kernel/arch/ia32xen/include/mm/asid.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/mm/asid.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/frame.h
===================================================================
--- kernel/arch/ia32xen/include/mm/frame.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/mm/frame.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/memory_init.h
===================================================================
--- kernel/arch/ia32xen/include/mm/memory_init.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/mm/memory_init.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/page.h
===================================================================
--- kernel/arch/ia32xen/include/mm/page.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/mm/page.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/tlb.h
===================================================================
--- kernel/arch/ia32xen/include/mm/tlb.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/mm/tlb.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/pm.h
===================================================================
--- kernel/arch/ia32xen/include/pm.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/pm.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/types.h
===================================================================
--- kernel/arch/ia32xen/include/types.h	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/include/types.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2001-2004 Jakub Jermar
+ * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/src/asm.S
===================================================================
--- kernel/arch/ia32xen/src/asm.S	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/asm.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/ia32xen/src/boot/boot.S
===================================================================
--- kernel/arch/ia32xen/src/boot/boot.S	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/boot/boot.S	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/drivers/xconsole.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/ia32xen.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/interrupt.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/mm/as.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/mm/frame.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/mm/memory_init.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/mm/page.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/mm/tlb.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/pm.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/proc/scheduler.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/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/ia32xen/src/proc/thread.c
===================================================================
--- kernel/arch/ia32xen/src/proc/thread.c	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/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/ia32xen/src/smp/apic.c
===================================================================
--- kernel/arch/ia32xen/src/smp/apic.c	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/smp/apic.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/ia32xen/src/smp/ipi.c
===================================================================
--- kernel/arch/ia32xen/src/smp/ipi.c	(revision 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/smp/ipi.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/smp/mps.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/smp/smp.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -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 134877d64bac047ca117c283bd304140ea31a7b0)
+++ kernel/arch/ia32xen/src/userspace.c	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *