Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/Makefile.inc	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -1,4 +1,4 @@
 #
-# Copyright (c) 2007 Jakub Jermar, Michal Kebrt
+# Copyright (c) 2007 Michal Kebrt
 # All rights reserved.
 #
Index: kernel/arch/arm32/include/arch/exception.h
===================================================================
--- kernel/arch/arm32/include/arch/exception.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/exception.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Michal Kebrt, Petr Stepan
+ * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Petr Stepan
  *
  * All rights reserved.
Index: kernel/arch/arm32/include/arch/istate.h
===================================================================
--- kernel/arch/arm32/include/arch/istate.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/istate.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2007 Michal Kebrt, Petr Stepan
- *
+ * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Petr Stepan
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/mm/as.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/as.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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/include/arch/mm/asid.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/asid.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/asid.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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/include/arch/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/frame.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/frame.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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/include/arch/mm/page_armv4.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv4.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/page_armv4.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * Copyright (c) 2012 Jan Vesely
  * All rights reserved.
Index: kernel/arch/arm32/include/arch/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/page_fault.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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/include/arch/types.h
===================================================================
--- kernel/arch/arm32/include/arch/types.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/types.h	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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/dummy.S
===================================================================
--- kernel/arch/arm32/src/dummy.S	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/src/dummy.S	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/src/mm/as.c	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/src/mm/frame.c	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/src/mm/page.c	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -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 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/src/userspace.c	(revision dad8d2dc1df4b9f6323029dbdda0fb3d1b862c9c)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Petr Stepan, Pavel Jancik
+ * Copyright (c) 2007 Petr Stepan
+ * Copyright (c) 2007 Pavel Jancik
  * All rights reserved.
  *