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

[Noralf Trønnes]

Den 02.10.2015 18:03, skrev 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.

The same goes for the i2s driver and the dma engine driver.
bcm2835_defconfig seem to be a development config, so
maybe we should just enable all the 2835 specific drivers?
At least that will give us build testing of drivers.