Fundamental types
Integer types
Genode provides common integer types in its namespace. Integer types that can be derived from built-in compiler types are defined in base/stdint.h and base/fixed_stdint.h. Whereas the former is independent from the machine type, the latter differs between 32-bit and 64-bit architectures.
repos/base/include/base/stdint.h
The fixed-width integer types for 32-bit architectures are defined as follows.
repos/base/include/spec/32bit/base/fixed_stdint.h
The fixed-width integer types for 64-bit architectures are defined as follows.
Exception types
Genode facilitates the use of exceptions to signal errors but it uses exception types only as textual expression of error code and for grouping errors. Normally, exceptions do not carry payload. For code consistency, exception types should inherit from the Exception base class. By convention, exceptions carry no payload.