This reminds of an exchange I read between a Rockchip dev and a kernel maintainer. The Rockchip dev wrote the following as justification for special handling of

This reminds of an exchange I read between a Rockchip dev and a kernel maintainer. The Rockchip dev wrote the following as justification for special handling of their board: There are many legacy IPs which only support 32bit bus, we have to use them as is in the new 64bit SoCs, I think the 32bit GIC can be considered the same as those case, can we add CONFIG_ZONE_DMA32 support in GIC driver? https://lore.kernel.org/linux-rockchip/874kg0q6lc.wl-maz@kernel.org/ https://lore.kernel.org/linux-rockchip/874kg0q6lc.wl-maz@ker... Note that this is in regards to their new rk356x platform, which supports up to 8 GB of RAM.