DDE Kit types

DDE Kit defines a strict boundary between the host system, i.e., Genode, and the emulated system, e.g., Linux. Therefore we cannot use Genode headers for type definition directly. We must redefine all required types to prevent potential incompatiblities and conflicts.

Type definition dde_kit_int8_t

Type definition dde_kit_uint8_t

Type definition dde_kit_int16_t

Type definition dde_kit_uint16_t

Type definition dde_kit_int32_t

Type definition dde_kit_uint32_t

Type definition dde_kit_int64_t

Type definition dde_kit_uint64_t

Type definition dde_kit_addr_t

Type definition dde_kit_size_t
© 2010 Genode Labs