26 lines
448 B
C++
26 lines
448 B
C++
/*
|
|
* \brief Linux kit types
|
|
* \author Josef Soentgen
|
|
* \date 2016-03-18
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2016-2017 Genode Labs GmbH
|
|
*
|
|
* This file is distributed under the terms of the GNU General Public License
|
|
* version 2.
|
|
*/
|
|
|
|
#ifndef _LX_KIT__TYPES_H_
|
|
#define _LX_KIT__TYPES_H_
|
|
|
|
/* Genode includes */
|
|
#include <base/stdint.h>
|
|
|
|
namespace Lx_kit {
|
|
typedef Genode::size_t size_t;
|
|
typedef Genode::addr_t addr_t;
|
|
}
|
|
|
|
#endif /* _LX_KIT__TYPES_H_ */
|