How to deal with openSBI reserved regions?

[Andreas Schwab]

On Jul 28 2023, Petr Tesarik wrote:

> Or, is the provided DTB incorrect?
> Should the memory node exclude the firmware area?

It should be marked as reserved memory.

# ls /sys/firmware/devicetree/base/reserved-memory
#address-cells  mmode_resv0 at 80040000/  name
#size-cells     mmode_resv1 at 80000000/  ranges

-- 
Andreas Schwab, schwab at linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."