17d16
< boot_release_addr=65528
26d24
< have_generic_timer=false
150c148
< is_top_level=true
---
> is_read_only=false
161d158
< two_queue=false
227c224
< is_top_level=true
---
> is_read_only=true
238d234
< two_queue=false
338c334
< is_top_level=false
---
> is_read_only=false
349d344
< two_queue=false
427c422
< is_top_level=true
---
> is_read_only=false
438d432
< two_queue=false
467c461
< master=system.bridge.slave system.realview.nvmem.port system.realview.gic.pio system.realview.local_cpu_timer.pio system.realview.vgic.pio system.physmem.port
---
> master=system.bridge.slave system.realview.nvmem.port system.realview.gic.pio system.realview.vgic.pio system.realview.local_cpu_timer.pio system.physmem.port
742c736,737
< int_num=29
---
> int_phys=29
> int_virt=27
755d749
< msix_addr=0
772a767
> workaround_swap_rb=true
942c937
< pio=system.membus.master[3]
---
> pio=system.membus.master[4]
1124c1119
< pio=system.membus.master[4]
---
> pio=system.membus.master[3]