genode

History

Norman Feske d3e8328089 Unify uint64_t among 32-bit and 64-bit platforms 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.		2012-08-16 13:32:56 +02:00
..
etc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
include	Unify uint64_t among 32-bit and 64-bit platforms	2012-08-16 13:32:56 +02:00
lib	Add missing unwind code to cxx lib	2012-07-16 14:54:19 +02:00
mk	Enhance specs that concern 'base-hw'.	2012-08-02 16:41:21 +02:00
run	Simplify run scripts	2012-07-27 17:00:44 +02:00
src	Reserve up to 8x4 bytes for the parent capability	2012-08-14 19:14:25 +02:00
README	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00

README

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.