On 4 November 2011 23:22, Jean-Christophe DUBOIS <j...@tribudubois.net> wrote: > According to realview documentation [1], the bit used to reset the board > is bit 2 and not bit 8.
True for PBA8 and PBXA9, but not true for PB1176, PB926 (where it is bit 8) or Emulation Baseboard (which doesn't implement this register at all). You need to make this all into a switch() on board_id() (combine this with the existing 'RAZ/WI on vexpress' if()). -- PMM