[PATCH 00/10] Raspberry Pi 2 (BCM2836) SMP support

[Chris Johns]

On 09/09/2016 07:46, Pavel Pisa wrote:
> I have provided simple bsp_reset() for Raspberry Pi and pushed it into master.

Thank you. Is the reset on exit on by default? I rebuilt without a BSP 
opt and the Rpi2 did not reset. I see a reference to 
BSP_RESET_BOARD_AT_EXIT but I do not know what the default is.

I think *all* RTEMS BSPs should reset on exit and shut-down by default. 
It is the normal production setting for most systems.

Chris