From 238df4dd584d46c1cf5c3e5ed9eea90eff77dfa2 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 13 Jun 2017 14:50:15 +0200 Subject: [PATCH] core: add information about infos provided by core Issue #2242 --- repos/base/README | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/repos/base/README b/repos/base/README index c5f5e82cb1..6356c8599f 100644 --- a/repos/base/README +++ b/repos/base/README @@ -10,3 +10,21 @@ This is generic part of the Genode implementation. It consists of two parts: 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. + +! +! +! +! +! +! + +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.