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

[Noralf Trønnes]

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.