genode/ports-foc/include/l4/util/kprintf.h

/*
 * \brief  L4Re functions needed by L4Linux
 * \author Stefan Kalkowski
 * \date   2011-03-17
 */

/*
 * Copyright (C) 2011-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 _L4__UTIL__KPRINTF_H_
#define _L4__UTIL__KPRINTF_H_

#endif /* _L4__UTIL__KPRINTF_H_ */
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`/*`
			`* \brief L4Re functions needed by L4Linux`
			`* \author Stefan Kalkowski`
			`* \date 2011-03-17`
			`*/`

			`/*`
Update copyright headers to 2013 2013-01-10 21:44:47 +01:00			`* Copyright (C) 2011-2013 Genode Labs GmbH`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`*`
			`* This file is part of the Genode OS framework, which is distributed`
			`* under the terms of the GNU General Public License version 2.`
			`*/`

			`#ifndef _L4__UTIL__KPRINTF_H_`
			`#define _L4__UTIL__KPRINTF_H_`

			`#endif /* _L4__UTIL__KPRINTF_H_ */`