Hello Tomasz,
On 4/15/19 9:42 AM, Christian Helmuth wrote:
Hello Tomasz,
On Sat, Apr 13, 2019 at 18:40:59 CEST, Tomasz Gajewski wrote:
On rpi3 (and others) there is a difference between bus addresses and physical addresses. In [1] I made a "brutal" fix working for rpi3. It is definitely not the final one as it is not just for rpi.
Great finding! I instantly had a look into the BCM2835/7 ARM Peripherals manuals and it seems the 0x40000000 bus address range is specified as L2-cache coherent alias of the first 256 MiB SDRAM, which are also mapped uncached to bus address 0xc0000000.
Do you agree that from this specification 0xc0000000 should also work for DMA-based devices on Rpi1?
great findings. I didn't know about address ranges on Rpi's and definitely will have a look at them when fixing issue 3247 [1].
Thanks,
Sebastian
[1] https://github.com/genodelabs/genode/issues/3247