/*
 * \brief  Integer types required for using OKL4's boot-info parser
 * \author Norman Feske
 * \date   2009-04-04
 *
 * This file is indirectly included by OKL4's 'bootinfo.h'.
 */

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

typedef unsigned long uintptr_t;
typedef   signed long  intptr_t;

#endif /* _CORE__INCLUDE__STDINT_H_ */