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

[Stefan Wahren]

Am 02.10.2015 um 15:11 schrieb 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?

No. After enabling, it works like a charm.

Thank you, i assumed that bcm2835_defconfig what do that.

Btw CONFIG_I2C_BCM2835 isn't in the defconfig, too.

Stefan