mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 00:45:29 +00:00
d3e8328089
On both 32-bit and 64-bit platforms, 'uint64_t' can be defined as 'unsigned long long', which is the type expected by the %llx format-string specifier. By unifying the type definitions, we resolve warnings about unmatching type specifiers. This patch also removes redundant words from the typedefs.
This is generic part of the Genode implementation. It consists of two parts: :_Core_: is the ultimate root of the Genode application tree and provides abstractions for the lowest-level hardware resources such as RAM, ROM, CPU, and generic device access. All generic parts of Core can be found here - for system-specific implementations refer to the appropriate 'base-<system>' directory. :_Base libraries and protocols_: that are used by each Genode component to interact with other components. This is the glue that holds everything together.