[PATCH 1/3] arc: vdk: Disable halt on reset

[Vineet Gupta]

On 02/01/2017 09:14 AM, Alexey Brodkin wrote:
>>> -# CONFIG_ARC_TIMERS_64BIT is not set
>>
>> Are you sure abut this part. Ater the timers driver rework, this would enable GFRC
>> for SMP builds and AFAIKR there were some issues with time with GFRC + nSIM etc..
> 
> Not anymore :)
> 
> Probably I missed something in discussions.

STAR 9000879565, 9000879563

> As a matter of fact I did run-test resulting vmlinux and it worked very nice.
> More over ARC_TIMERS_64BIT is selected automatically by ISA_ARCV2, see
> http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/arch/arc/Kconfig#n119
> 
> That said even if "# CONFIG_ARC_TIMERS_64BIT is not set" is left in place the option will be
> effectively enabled, no?

The whole point of adding this to defconfig is to override the default from Kconfig ?