genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-13 14:35:34 +00:00

History

Norman Feske 97a41394b4 Documentation changes on account of the book

This patch removes the outdates doc/architecture.txt since the
topics are covered by the book. We keep repos/os/doc/init.txt
because it contains a few details not present in the book (yet).
The patch streamlines the terminology a bit. Furthermore, it
slightly adjusts a few source-code comments to improve the book's
functional specification chapter.

2016-05-26 15:54:16 +02:00

etc

riscv: create_builddir support

2016-02-26 11:36:50 +01:00

include

Documentation changes on account of the book

2016-05-26 15:54:16 +02:00

lib

base: new interface for textual output

2016-05-09 13:25:01 +02:00

hw: use kernel timer for timer driver

2016-05-26 15:54:15 +02:00

run

platform_drv/x86: support ACPI reset

2016-05-26 15:54:14 +02:00

src

base: Remove dynamic segment check from Elf_binary

2016-05-23 15:52:51 +02:00

README

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +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.