genode/repos/base
Norman Feske 9aab61f5a7 mk: allow declaration of build artifacts for libs
The build system automatically announces the names of shared libraries
as build artifacts. However, in rare cases, it is required to manually
define them. In particular, the 'ld' stub library plays no role at runtime
and should not be integrated into the boot image.

This patch adds a customization hook following the same pattern as used
for target.mk files, namely the BUILD_ARTIFACTS variable. If defined,
its value is taken as the list of boot artifacts generated by the
library-description file.

Issue #4368
2022-09-19 14:00:32 +02:00
..
board board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
etc tool_chain: update gcc to version 10.3.0 2021-05-28 14:15:26 +02:00
include util/string.h: support 'int' for 'ascii_to' 2022-08-17 14:28:12 +02:00
lib trace_buffer: partition trace buffer 2022-03-21 13:42:16 +01:00
mk mk: allow declaration of build artifacts for libs 2022-09-19 14:00:32 +02:00
ports grub2: update to newer grub2 2.06 version 2022-08-10 13:33:00 +02:00
recipes depot: update recipe hashes 2022-08-31 09:32:09 +02:00
run intel_fb: request copy of Intel opregion 2022-08-10 13:32:57 +02:00
src build: support library builds via lib/<libname> 2022-09-19 13:59:28 +02:00
xsd base_types.xsd: allow session labels of length 0 2018-11-16 14:37:19 +01:00
README core: add information about infos provided by core 2017-06-29 11:59:52 +02:00

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.