mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
c38c2a6455
When rebasing my local branch on top of sculpt-21.10 tag I've noticed two problems. The code in new_delete.cc does not include new header file. This works fine with GCC, but fails with clang because std::align_val_t type is not defined anywhere according to clang. It looks like GCC pulls this header indirectly somehow. The second problem can be seen if one disallows undefined symbols in executables and shared_libraries. This can be seen with both GCC and clang by adding --no-undefined to LD_OPT. With such change in place core fails to link due to: ld.lld: error: undefined symbol: operator delete(void*, std::align_val_t) >>> referenced by thread.h:448 (/home/tworaz/devel/genode/repos/base-hw/src/core/kernel/thread.h:448) >>> thread.o:(Kernel::Core_main_thread::~Core_main_thread()) in archive debug/core-hw-virt_qemu.a >>> referenced by thread.h:448 (/home/tworaz/devel/genode/repos/base-hw/src/core/kernel/thread.h:448) >>> thread.o:(non-virtual thunk to Kernel::Core_main_thread::~Core_main_thread()) in archive debug/core-hw-virt_qemu.a >>> did you mean: operator delete(void*, unsigned long, std::align_val_t) >>> defined in: debug/core-hw-virt_qemu.a(supc++.o) If the code would somehow manage call such undefined symbol it'd crash. Since I generally prefer link time failures to runtime crashes I link all genode binaries with --no-undefined. To fix this problem just add a dummy implementation of missing delete operator. Fixes #4298 |
||
---|---|---|
.. | ||
etc | ||
include | ||
lib | ||
mk | ||
ports | ||
recipes | ||
run | ||
src | ||
xsd | ||
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.