diff --git a/os/src/drivers/sd_card/exynos5/driver.h b/os/src/drivers/sd_card/exynos5/driver.h
index 6bb6ac3b60..01a2356862 100644
--- a/os/src/drivers/sd_card/exynos5/driver.h
+++ b/os/src/drivers/sd_card/exynos5/driver.h
@@ -4,6 +4,13 @@
  * \date   2013-03-22
  */
 
+/*
+ * Copyright (C) 2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 #ifndef _DRIVER_H_
 #define _DRIVER_H_
 
diff --git a/os/src/drivers/sd_card/exynos5/dwmmc.h b/os/src/drivers/sd_card/exynos5/dwmmc.h
index 9756032d98..308f3cbc23 100644
--- a/os/src/drivers/sd_card/exynos5/dwmmc.h
+++ b/os/src/drivers/sd_card/exynos5/dwmmc.h
@@ -4,6 +4,13 @@
  * \date   2013-03-06
  */
 
+/*
+ * Copyright (C) 2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 #ifndef _DWMMC_H_
 #define _DWMMC_H_
 
diff --git a/os/src/drivers/sd_card/exynos5/main.cc b/os/src/drivers/sd_card/exynos5/main.cc
index f32d5af2b3..7ee8145c1a 100644
--- a/os/src/drivers/sd_card/exynos5/main.cc
+++ b/os/src/drivers/sd_card/exynos5/main.cc
@@ -4,6 +4,13 @@
  * \date   2013-03-06
  */
 
+/*
+ * Copyright (C) 2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 /* Genode includes */
 #include <base/sleep.h>
 #include <base/printf.h>
diff --git a/os/src/drivers/sd_card/omap4/bench/main.cc b/os/src/drivers/sd_card/omap4/bench/main.cc
index 9731394228..2561e0ba76 100644
--- a/os/src/drivers/sd_card/omap4/bench/main.cc
+++ b/os/src/drivers/sd_card/omap4/bench/main.cc
@@ -4,6 +4,13 @@
  * \date   2012-07-19
  */
 
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 /* Genode includes */
 #include <base/sleep.h>
 #include <base/printf.h>
diff --git a/os/src/drivers/sd_card/omap4/driver.h b/os/src/drivers/sd_card/omap4/driver.h
index 22fcd508cc..1258871576 100644
--- a/os/src/drivers/sd_card/omap4/driver.h
+++ b/os/src/drivers/sd_card/omap4/driver.h
@@ -4,6 +4,13 @@
  * \date   2012-07-19
  */
 
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 #ifndef _DRIVER_H_
 #define _DRIVER_H_
 
diff --git a/os/src/drivers/sd_card/omap4/main.cc b/os/src/drivers/sd_card/omap4/main.cc
index 7953139801..8f61bb1550 100644
--- a/os/src/drivers/sd_card/omap4/main.cc
+++ b/os/src/drivers/sd_card/omap4/main.cc
@@ -4,6 +4,13 @@
  * \date   2012-07-03
  */
 
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 /* Genode includes */
 #include <base/sleep.h>
 #include <base/printf.h>
diff --git a/os/src/drivers/sd_card/omap4/mmchs.h b/os/src/drivers/sd_card/omap4/mmchs.h
index 97ac6d70a1..9a2b313207 100644
--- a/os/src/drivers/sd_card/omap4/mmchs.h
+++ b/os/src/drivers/sd_card/omap4/mmchs.h
@@ -4,6 +4,13 @@
  * \date   2012-07-03
  */
 
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 #ifndef _MMCHS_H_
 #define _MMCHS_H_
 
diff --git a/os/src/drivers/sd_card/sd_card.h b/os/src/drivers/sd_card/sd_card.h
index ba81a3c3ee..f926545ef0 100644
--- a/os/src/drivers/sd_card/sd_card.h
+++ b/os/src/drivers/sd_card/sd_card.h
@@ -5,6 +5,13 @@
  * \date   2012-07-06
  */
 
+/*
+ * Copyright (C) 2012-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
 #ifndef _SD_CARD_H_
 #define _SD_CARD_H_