genode-ehmry

History

Martin Stein abf9557bb5 AVL node/tree: make non-copyable AVL trees can't be copied with the default copy constructor as the parent pointer of the first item of both of the resulting trees would point to the original tree. Copying an AVL node, however, generally violates the integrity of the corresponding tree. The copy constructor of Avl_tree is used in some places but in those places it can be replaced easily. So, this commit deletes the copy constructor of Avl_node_base which makes Avl_node and Avl_tree non-copyable. Issue #2654		2018-02-09 13:34:23 +01:00
..
etc	Let default tools.conf cover each architecture	2016-07-15 11:38:26 +02:00
include	AVL node/tree: make non-copyable	2018-02-09 13:34:23 +01:00
lib	init: close all sessions of exited children	2018-02-09 13:31:27 +01:00
mk	Fix Nim release mode	2018-02-09 13:34:23 +01:00
ports	tool: use grub2 instead of grub1 for iso boot	2017-11-30 11:23:01 +01:00
recipes	depot: update recipe hashes	2018-01-17 12:14:44 +01:00
run	run: always return driver names in platform.inc	2018-02-09 13:34:22 +01:00
src	AVL node/tree: make non-copyable	2018-02-09 13:34:23 +01:00
README	core: add information about infos provided by core	2017-06-29 11:59:52 +02: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.

_Core_ may export information about the hardware platform by an ROM
called 'platform_info'. Depending on the platform, e.g. ARM or x86 or riscv,
and depending on the boot mode and boot loader and kernel, some nodes may not
be populated.

!<platform_info>
! <acpi revision="2" rsdt="0x1fe93074" xsdt="0x1fe930e8"/>
! <boot>
!   <framebuffer phys="0x7300000" width="1024" height="768" bpp="32"/>
! </boot>
!</platform_info>

If the ACPI RSDT and XSDT physical pointer is reported by the used kernel
and/or bootloader, _Core_ may provide this information by the ROM.

If the graphic device is initialised and can be directly used by a framebuffer
driver, _Core_ may provide the physical pointer to the framebuffer, the
resolution and color depth in bits.