#ifndef _INCLUDE__GENODE_TYPES_H_
#define _INCLUDE__GENODE_TYPES_H_

#include <base/fixed_stdint.h>

typedef genode_uint32_t uint32_t;
typedef __SIZE_TYPE__   size_t;

#endif /* _INCLUDE__GENODE_TYPES_H_ */
