Axel Heider

Thanks for the comments, I will rework this PR to address them. However this turns out as not trivial and needs some more time

With all the hacks removed, This works now when I pass `FW_PAYLOAD_OFFSET=0x04000000` to the OpenSBI build. All that is missing here now is taking the ElfLoder (calculated) base address here...

I'm also removing `include/plat/spike/plat/instance/rocket-chip/hardware.h`. This file should be obsolete by now, as this "instance hack" has been removed already.

Seem we have to apply the DTS overlay in all RISC-V platform now, otherwise thins will not work. I wonder if we should add DTB parsing code to the ELF-Loder...

Is there an easy way to also have a reserved region for the SBI reserved area declared in the DTS overlay? Seem this area is still made available as device...

Yes, this is trying to ensure the kernel does not give any untypeds that cover the memory used by the SBI. Rational is, that this memory should be considered unusable...

Seems this is related to https://lists.genode.org/pipermail/users/2022-January/007862.html

Is this practically dead code then that we should just remove? The O0 usecase is usually debugging of the purely visible C code.

Frankly, I'm still struggling with `config_set()`, as it's a pretty cool idea, but also a bit of a contradiction to the classic C way how to use the preprocessor. My...

@tor-m6 Maybe you have found another case where the "i" statement support in gcc/clang could have better support due to lack of compile time smartness. Before I jump onto this...