On 29 July 2014 16:44, Andrew Jones <[email protected]> wrote: > pl031's base address should be 0x9001000, 0x90010000. While in there > also add some spacing and zeros to make it easier to read the map. > > Signed-off-by: Andrew Jones <[email protected]> > - [VIRT_RTC] = { 0x90010000, 0x1000 }, > + [VIRT_RTC] = { 0x09001000, 0x00001000 },
...and assuming from the commit message that this is the only actual change, the alignment to 64K is deliberate, for the benefit of guests with 64K pages. thanks -- PMM
