Index: kernel/arch/arm32/src/dummy.S
===================================================================
--- kernel/arch/arm32/src/dummy.S	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/arm32/src/dummy.S	(revision 516d361628ce6d70d65e565fd9bb62fdc8f737d7)
@@ -1,4 +1,6 @@
 #
-# Copyright (c) 2007 Michal Kebrt, Pavel Jancik, Petr Stepan
+# Copyright (c) 2007 Michal Kebrt
+# Copyright (c) 2007 Pavel Jancik
+# Copyright (c) 2007 Petr Stepan
 # All rights reserved.
 #
Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/arm32/src/mm/as.c	(revision 516d361628ce6d70d65e565fd9bb62fdc8f737d7)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/arm32/src/mm/frame.c	(revision 516d361628ce6d70d65e565fd9bb62fdc8f737d7)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/arm32/src/mm/page.c	(revision 516d361628ce6d70d65e565fd9bb62fdc8f737d7)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 516d361628ce6d70d65e565fd9bb62fdc8f737d7)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/arch/arm32/src/userspace.c	(revision 516d361628ce6d70d65e565fd9bb62fdc8f737d7)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Petr Stepan, Pavel Jancik
+ * Copyright (c) 2007 Petr Stepan
+ * Copyright (c) 2007 Pavel Jancik
  * All rights reserved.
  *