Index: kernel/arch/ppc32/Makefile.inc
===================================================================
--- kernel/arch/ppc32/Makefile.inc	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/Makefile.inc	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Martin Decky
+# Copyright (c) 2005 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ppc32/include/arch.h
===================================================================
--- kernel/arch/ppc32/include/arch.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/arch.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/arg.h
===================================================================
--- kernel/arch/ppc32/include/arg.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/arg.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/asm.h
===================================================================
--- kernel/arch/ppc32/include/asm.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/asm.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/asm/regname.h
===================================================================
--- kernel/arch/ppc32/include/asm/regname.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/asm/regname.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/atomic.h
===================================================================
--- kernel/arch/ppc32/include/atomic.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/atomic.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/barrier.h
===================================================================
--- kernel/arch/ppc32/include/barrier.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/barrier.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/boot/boot.h
===================================================================
--- kernel/arch/ppc32/include/boot/boot.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/boot/boot.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/byteorder.h
===================================================================
--- kernel/arch/ppc32/include/byteorder.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/byteorder.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/context.h
===================================================================
--- kernel/arch/ppc32/include/context.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/context.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/context_offset.h
===================================================================
--- kernel/arch/ppc32/include/context_offset.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/context_offset.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/cpu.h
===================================================================
--- kernel/arch/ppc32/include/cpu.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/cpu.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/cpuid.h
===================================================================
--- kernel/arch/ppc32/include/cpuid.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/cpuid.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/cycle.h
===================================================================
--- kernel/arch/ppc32/include/cycle.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/cycle.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/debug.h
===================================================================
--- kernel/arch/ppc32/include/debug.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/debug.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 
+ * Copyright (c) 2005 
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/drivers/pic.h
===================================================================
--- kernel/arch/ppc32/include/drivers/pic.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/drivers/pic.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/elf.h
===================================================================
--- kernel/arch/ppc32/include/elf.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/elf.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Sergey Bondari
+ * Copyright (c) 2006 Sergey Bondari
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/exception.h
===================================================================
--- kernel/arch/ppc32/include/exception.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/exception.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/faddr.h
===================================================================
--- kernel/arch/ppc32/include/faddr.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/faddr.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/fpu_context.h
===================================================================
--- kernel/arch/ppc32/include/fpu_context.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/fpu_context.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/interrupt.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/memstr.h
===================================================================
--- kernel/arch/ppc32/include/memstr.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/memstr.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Sergey Bondari
+ * Copyright (c) 2005 Sergey Bondari
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/mm/as.h
===================================================================
--- kernel/arch/ppc32/include/mm/as.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/mm/as.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/mm/asid.h
===================================================================
--- kernel/arch/ppc32/include/mm/asid.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/mm/asid.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/mm/frame.h
===================================================================
--- kernel/arch/ppc32/include/mm/frame.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/mm/frame.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/mm/memory_init.h
===================================================================
--- kernel/arch/ppc32/include/mm/memory_init.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/mm/memory_init.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/mm/page.h
===================================================================
--- kernel/arch/ppc32/include/mm/page.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/mm/page.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/proc/task.h
===================================================================
--- kernel/arch/ppc32/include/proc/task.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/proc/task.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/proc/thread.h
===================================================================
--- kernel/arch/ppc32/include/proc/thread.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/proc/thread.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/include/types.h
===================================================================
--- kernel/arch/ppc32/include/types.h	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/include/types.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/asm.S
===================================================================
--- kernel/arch/ppc32/src/asm.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/asm.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Martin Decky
+# Copyright (c) 2005 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/boot/boot.S
===================================================================
--- kernel/arch/ppc32/src/boot/boot.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/boot/boot.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Jakub Jermar
+# Copyright (c) 2005 Jakub Jermar
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/context.S
===================================================================
--- kernel/arch/ppc32/src/context.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/context.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Martin Decky
+# Copyright (c) 2005 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ppc32/src/cpu/cpu.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/cpu/cpu.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/ddi/ddi.c
===================================================================
--- kernel/arch/ppc32/src/ddi/ddi.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/ddi/ddi.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Jakub Jermar
+ * Copyright (c) 2006 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/debug/panic.s
===================================================================
--- kernel/arch/ppc32/src/debug/panic.s	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/debug/panic.s	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Martin Decky
+# Copyright (c) 2005 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/dummy.s
===================================================================
--- kernel/arch/ppc32/src/dummy.s	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/dummy.s	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2005 Jakub Jermar
+# Copyright (c) 2005 Jakub Jermar
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/exception.S
===================================================================
--- kernel/arch/ppc32/src/exception.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/exception.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2006 Martin Decky
+# Copyright (c) 2006 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/fpu_context.S
===================================================================
--- kernel/arch/ppc32/src/fpu_context.S	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/fpu_context.S	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 #
-# Copyright (C) 2006 Martin Decky
+# Copyright (c) 2006 Martin Decky
 # All rights reserved.
 #
Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/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/ppc32/src/mm/as.c
===================================================================
--- kernel/arch/ppc32/src/mm/as.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/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/ppc32/src/mm/frame.c
===================================================================
--- kernel/arch/ppc32/src/mm/frame.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/mm/frame.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/mm/memory_init.c
===================================================================
--- kernel/arch/ppc32/src/mm/memory_init.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/mm/memory_init.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/mm/page.c
===================================================================
--- kernel/arch/ppc32/src/mm/page.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/mm/page.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/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/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/ppc32.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ppc32/src/proc/scheduler.c	(revision b6e97d717db99cd0ea1752d7ad38b2d4d440fdd5)
+++ kernel/arch/ppc32/src/proc/scheduler.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *