/*
 * \brief   Types for ddekit (x86 version)
 * \author  Thomas Friebel <tf13@os.inf.tu-dresden.de>
 * \author  Christian Helmuth <ch12@os.inf.tu-dresden.de>
 * \date    2006-11-09
 *
 * FIXME This is definitely arch-dependent! Move to ARCH-something
 */

#ifndef _DDEKIT_TYPES_H
#define _DDEKIT_TYPES_H

typedef signed char        ddekit_int8_t;
typedef unsigned char      ddekit_uint8_t;
typedef signed short int   ddekit_int16_t;
typedef unsigned short int ddekit_uint16_t;
typedef signed int         ddekit_int32_t;
typedef unsigned int       ddekit_uint32_t;

typedef unsigned long      ddekit_addr_t;

#endif