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 ?
