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

[Mahadevan Srinivasan]

I notice this problem on my Raspberry Pi too (which is on mainline kernel). I can verify and provide a change if that's ok. Should I provide my changes on top of the mainline kernel https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/ ? I see that the CONFIG_BCM2835_WDT is already enabled in https://github.com/raspberrypi/linux/blob/rpi-4.1.y/arch/arm/configs/bcm2835_defconfig. 

Mahadevan.

----------------------------------------
> Subject: Re: [Possible bug] reboot doesn't work for Raspberry Pi
> To: info at lategoodbye.de; swarren at wwwdotorg.org; martin at sperl.org
> From: noralf at tronnes.org
> Date: Thu, 15 Oct 2015 19:59:47 +0200
> CC: linux-rpi-kernel at lists.infradead.org
>
>
> Den 15.10.2015 19:40, skrev Stefan Wahren:
>> Am 07.10.2015 um 04:32 schrieb Stephen Warren:
>>> On 10/02/2015 12:13 PM, Martin Sperl wrote:
>>>>
>>>> Should it not be a more explicit require/selects in Kconfig instead?
>>>>
>>>> That it gets included with older .configs as well.
>>>
>>> The system works well enough without this feature. select is usually
>>> best for things that are absolutely necessary for the system to run at
>>> all (e.g. support for the CPU architecture), and everything else is
>>> usually left configurable so people can turn it off if they want. I
>>> could see the argument for "default y" in the Kconfig, but probably not
>>> "select" for this.
>>>
>>
>> Does it mean bcm2835_defconfig shouldn't be changed?
>>
>> Noralf, do you still want to send a patch?
>>
>
> I'm stuck at the moment, so if you can fix it, please do.
>
>
> Noralf.
>
>
> _______________________________________________
> linux-rpi-kernel mailing list
> linux-rpi-kernel at lists.infradead.org
> http://lists.infradead.org/mailman/listinfo/linux-rpi-kernel