Standard fixed-width integer types

In contrast to most Genode header files, which are only usable for C++, this file is a valid C header file because a lot of existing C-based software relies on fixed-size integer types. These types, however, are platform specific but cannot be derived from the compiler's built-in types. Normally, the platform-dependent part of a C library provides these type definitions. This header file provides a single header for C and C++ programs that are not using a C library but need fixed-width integer types.

All type definition are prefixed with genode_. If included as a C++ header, the types are also defined within the Genode namespace.