ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-17 10:19:48 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add missing licensing headers

Browse Source
This commit is contained in:
Norman Feske 2013-03-22 15:31:16 +01:00
parent a3afb3dae4
commit 3b71a9c986
8 changed files with 56 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
os/src/drivers/sd_card/exynos5/driver.h
View File

@ -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_

7
os/src/drivers/sd_card/exynos5/dwmmc.h
View File

@ -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_

7
os/src/drivers/sd_card/exynos5/main.cc
View File

@ -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>

7
os/src/drivers/sd_card/omap4/bench/main.cc
View File

@ -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>

7
os/src/drivers/sd_card/omap4/driver.h
View File

@ -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_

7
os/src/drivers/sd_card/omap4/main.cc
View File

@ -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>

7
os/src/drivers/sd_card/omap4/mmchs.h
View File

@ -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_

7
os/src/drivers/sd_card/sd_card.h
View File

@ -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_