On 07.09.2015 16:17, Peter Maydell wrote: > See review discussion on v1. The arm_boot_info structure includes > fields that use data types that are only available to source files > compiled per-target, and the GIC source files are compiled once-only. Ah, sorry for that.
Best, Sergey
