[Possible bug] reboot doesn't work for Raspberry Pi

[Martin Sperl]

> On 02.10.2015, at 17:14, Stephen Warren <swarren at wwwdotorg.org> wrote:
> 
> On 10/02/2015 07:11 AM, Noralf Trønnes wrote:
>> Den 02.10.2015 13:36, skrev Stefan Wahren:
>>> Hi,
>>> 
>>> i'm using a Raspberry Pi B with U-Boot, Mainline Kernel 4.2.2 and
>>> Raspbian Wheezy rootfs (2015-05-05).
>>> 
>>> If i run the reboot command, the reset never occurs.
>>> 
>>> Here is the console output:
>>> 
>>> The system is going down for reboot NOW!
>>> [ 73.409331] Restarting system.
>>> 
>>> After that the green heartbeat LED stop blinking and goes off.
>>> 
>>> Any ideas what's the reason or how to debug?
>> 
>> Have you enabled the watchdog driver?
>> 
>> ARM: bcm2835: Move the restart/power_off handling to the WDT driver
>> Since the WDT is what's used to drive restart and power off, it makes
>> more sense to keep it there, where the regs are already mapped and
>> definitions for them provided.  Note that this means you may need to
>> add CONFIG_BCM2835_WDT to retain functionality of your kernel.
> 
> It hadn't cross my mind that that change required a defconfig change too. Perhaps you could submit a patch?
> 
Should it not be a more explicit require/selects in Kconfig instead?

That it gets included with older .configs as well.

Martin