kernel: cleanup CONFIG_SCHED_HRTICK
authorStijn Tintel <stijn@linux-ipv6.be>
Thu, 29 Jun 2017 02:46:59 +0000 (04:46 +0200)
committerStijn Tintel <stijn@linux-ipv6.be>
Thu, 29 Jun 2017 02:46:59 +0000 (04:46 +0200)
Remove CONFIG_SCHED_HRTICK from target configs, as it was added to the
generic config in b47fd7656336162360ebf66147326763ddae3f8d.

Signed-off-by: Stijn Tintel <stijn@linux-ipv6.be>
46 files changed:
target/linux/apm821xx/config-4.9
target/linux/ar71xx/config-4.4
target/linux/armvirt/config-4.9
target/linux/at91/config-4.4
target/linux/ath25/config-4.9
target/linux/bcm53xx/config-4.4
target/linux/bcm53xx/config-4.9
target/linux/brcm2708/bcm2708/config-4.9
target/linux/brcm2708/bcm2709/config-4.9
target/linux/brcm2708/bcm2710/config-4.9
target/linux/brcm47xx/config-4.4
target/linux/brcm63xx/config-4.4
target/linux/cns3xxx/config-4.9
target/linux/imx6/config-4.9
target/linux/ipq806x/config-4.9
target/linux/ixp4xx/config-4.4
target/linux/kirkwood/config-4.4
target/linux/lantiq/config-4.4
target/linux/lantiq/config-4.9
target/linux/layerscape/config-4.4
target/linux/malta/config-4.4
target/linux/mediatek/config-4.9
target/linux/mpc85xx/config-4.9
target/linux/mvebu/config-4.4
target/linux/mvebu/config-4.9
target/linux/omap/config-4.4
target/linux/orion/config-4.4
target/linux/oxnas/config-4.4
target/linux/pistachio/config-4.9
target/linux/ramips/mt7620/config-4.4
target/linux/ramips/mt7620/config-4.9
target/linux/ramips/mt7621/config-4.4
target/linux/ramips/mt7621/config-4.9
target/linux/ramips/mt7628/config-4.4
target/linux/ramips/mt7628/config-4.9
target/linux/ramips/mt7688/config-4.4
target/linux/ramips/mt7688/config-4.9
target/linux/ramips/rt288x/config-4.4
target/linux/ramips/rt288x/config-4.9
target/linux/ramips/rt305x/config-4.4
target/linux/ramips/rt305x/config-4.9
target/linux/ramips/rt3883/config-4.4
target/linux/ramips/rt3883/config-4.9
target/linux/sunxi/config-4.4
target/linux/x86/config-4.9
target/linux/zynq/config-4.4

index 2446a7b..c1c47a7 100644 (file)
@@ -292,7 +292,6 @@ CONFIG_RD_GZIP=y
 # CONFIG_RELOCATABLE is not set
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 # CONFIG_SAM440EP is not set
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SENSORS_TC654 is not set
index 8a63359..6ff9700 100644 (file)
@@ -432,7 +432,6 @@ CONFIG_RTL8366RB_PHY=y
 CONFIG_RTL8366S_PHY=y
 CONFIG_RTL8366_SMI=y
 CONFIG_RTL8367_PHY=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 6a6d421..64444d7 100644 (file)
@@ -154,7 +154,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_PL031=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SCSI_VIRTIO=y
index 86d3a05..4e3b036 100644 (file)
@@ -231,7 +231,6 @@ CONFIG_RTC_CLASS=y
 # CONFIG_RTC_DRV_CMOS is not set
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 # CONFIG_SAMA5D4_WATCHDOG is not set
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250 is not set
index aae77a4..bc28b88 100644 (file)
@@ -136,7 +136,6 @@ CONFIG_PERF_USE_VMALLOC=y
 CONFIG_PGTABLE_LEVELS=2
 CONFIG_PHYLIB=y
 # CONFIG_RCU_STALL_COMMON is not set
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 21d6e1c..19166b9 100644 (file)
@@ -287,7 +287,6 @@ CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 CONFIG_SERIAL_8250_FSL=y
index c98ba7b..84016b6 100644 (file)
@@ -287,7 +287,6 @@ CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 CONFIG_SERIAL_8250_FSL=y
index b766b74..0ab238c 100644 (file)
@@ -326,7 +326,6 @@ CONFIG_REGMAP_MMIO=y
 CONFIG_REGULATOR=y
 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 # CONFIG_SCSI_LOWLEVEL is not set
index 26b2c6c..5c0ab7e 100644 (file)
@@ -354,7 +354,6 @@ CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 # CONFIG_SCSI_LOWLEVEL is not set
index f2f27cf..ae4a2c7 100644 (file)
@@ -372,7 +372,6 @@ CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 # CONFIG_SCSI_LOWLEVEL is not set
index 492b12b..7bed70d 100644 (file)
@@ -151,7 +151,6 @@ CONFIG_PERF_USE_VMALLOC=y
 CONFIG_PGTABLE_LEVELS=2
 CONFIG_PHYLIB=y
 # CONFIG_RCU_STALL_COMMON is not set
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 CONFIG_SERIAL_8250_EXTENDED=y
index f8ba4a0..1cc75c9 100644 (file)
@@ -213,7 +213,6 @@ CONFIG_REGMAP_MMIO=y
 CONFIG_RELAY=y
 CONFIG_RTL8366_SMI=y
 CONFIG_RTL8367_PHY=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250 is not set
index 6c07465..4e5e016 100644 (file)
@@ -253,7 +253,6 @@ CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SATA_AHCI=y
 CONFIG_SATA_AHCI_PLATFORM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SENSORS_AD7418=y
index 590e192..086a162 100644 (file)
@@ -418,7 +418,6 @@ CONFIG_RTC_DRV_DS1672=y
 CONFIG_RTC_I2C_AND_SPI=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SERIAL_8250_FSL=y
index 7e6ec70..a2dd402 100644 (file)
@@ -439,7 +439,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_I2C_AND_SPI=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 CONFIG_SERIAL_8250_FSL=y
index 1929f85..a5bc7e9 100644 (file)
@@ -224,7 +224,6 @@ CONFIG_RTC_DRV_ISL1208=y
 CONFIG_RTC_DRV_PCF8563=y
 CONFIG_RTC_DRV_X1205=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCSI_DMA is not set
 CONFIG_SENSORS_AD7418=y
 CONFIG_SENSORS_GSC=y
index 67a8760..90a668a 100644 (file)
@@ -275,7 +275,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_MV=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SATA_MV=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SERIAL_8250_DEPRECATED_OPTIONS=y
index f14fd57..c8d1b0e 100644 (file)
@@ -174,7 +174,6 @@ CONFIG_PSB6970_PHY=y
 CONFIG_RESET_CONTROLLER=y
 CONFIG_RTL8366RB_PHY=y
 CONFIG_RTL8366_SMI=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SENSORS_LTQ_CPUTEMP is not set
index 52e58ab..387a189 100644 (file)
@@ -177,7 +177,6 @@ CONFIG_PSB6970_PHY=y
 CONFIG_RESET_CONTROLLER=y
 CONFIG_RTL8366RB_PHY=y
 CONFIG_RTL8366_SMI=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SENSORS_LTQ_CPUTEMP is not set
index d334e42..6894af0 100644 (file)
@@ -261,7 +261,6 @@ CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SERIAL_8250_FSL=y
index d190065..d027c9d 100644 (file)
@@ -240,7 +240,6 @@ CONFIG_RELAY=y
 CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RTC_CLASS=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SECCOMP=y
index 268154b..2a49d94 100644 (file)
@@ -389,7 +389,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_I2C_AND_SPI=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_DMA is not set
index 33b8a51..64ab239 100644 (file)
@@ -307,7 +307,6 @@ CONFIG_RTC_I2C_AND_SPI=y
 CONFIG_RTC_MC146818_LIB=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 # CONFIG_SBC8548 is not set
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 CONFIG_SERIAL_8250_EXTENDED=y
index d819970..789b220 100644 (file)
@@ -371,7 +371,6 @@ CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SATA_AHCI_PLATFORM=y
 CONFIG_SATA_MV=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SENSORS_PWM_FAN=y
index bc7e91e..87040a4 100644 (file)
@@ -388,7 +388,6 @@ CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SATA_AHCI_PLATFORM=y
 CONFIG_SATA_MV=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SENSORS_PWM_FAN=y
index 19f3178..ed1cdc6 100644 (file)
@@ -560,7 +560,6 @@ CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SATA_AHCI_PLATFORM=y
 CONFIG_SCHEDSTATS=y
-CONFIG_SCHED_HRTICK=y
 CONFIG_SCHED_INFO=y
 CONFIG_SCHED_MC=y
 CONFIG_SCSI=y
index 57f0bc6..4b39639 100644 (file)
@@ -222,7 +222,6 @@ CONFIG_RATIONAL=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RTC_CLASS=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 CONFIG_SERIAL_8250_FSL=y
index 77a7755..0c6e992 100644 (file)
@@ -322,7 +322,6 @@ CONFIG_RTC_CLASS=y
 # CONFIG_RTC_DRV_CMOS is not set
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SERIAL_8250_FSL=y
index 0a882e4..121f6a8 100644 (file)
@@ -277,7 +277,6 @@ CONFIG_RESET_PISTACHIO=y
 CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_SCHEDSTATS=y
-CONFIG_SCHED_HRTICK=y
 CONFIG_SCHED_INFO=y
 CONFIG_SCSI=y
 CONFIG_SCSI_SPI_ATTRS=y
index a2a7717..e440ea4 100644 (file)
@@ -178,7 +178,6 @@ CONFIG_RALINK=y
 CONFIG_RALINK_WDT=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 2c1d1bc..dc3c8fc 100644 (file)
@@ -181,7 +181,6 @@ CONFIG_RALINK=y
 CONFIG_RALINK_WDT=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 383370b..3f5c5cd 100644 (file)
@@ -217,7 +217,6 @@ CONFIG_RFS_ACCEL=y
 CONFIG_RPS=y
 CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_PCF8563=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCHED_SMT=y
 # CONFIG_SCSI_DMA is not set
index 6e95468..e60e6e1 100644 (file)
@@ -233,7 +233,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_PCF8563=y
 CONFIG_RTC_I2C_AND_SPI=y
 CONFIG_RTC_MC146818_LIB=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCHED_SMT=y
 # CONFIG_SCSI_DMA is not set
index 6cd7838..1dd8c75 100644 (file)
@@ -174,7 +174,6 @@ CONFIG_RALINK=y
 # CONFIG_RALINK_WDT is not set
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 6f0962f..0c6026c 100644 (file)
@@ -176,7 +176,6 @@ CONFIG_RALINK=y
 # CONFIG_RALINK_WDT is not set
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 6a96266..5e35e23 100644 (file)
@@ -174,7 +174,6 @@ CONFIG_RALINK=y
 # CONFIG_RALINK_WDT is not set
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 1e89b77..19e2bb0 100644 (file)
@@ -176,7 +176,6 @@ CONFIG_RALINK=y
 # CONFIG_RALINK_WDT is not set
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index bff04da..3690a47 100644 (file)
@@ -164,7 +164,6 @@ CONFIG_RALINK=y
 CONFIG_RALINK_WDT=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 01f4f21..92f1881 100644 (file)
@@ -169,7 +169,6 @@ CONFIG_RALINK=y
 CONFIG_RALINK_WDT=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index b8f6cda..ddcef1b 100644 (file)
@@ -163,7 +163,6 @@ CONFIG_RALINK=y
 CONFIG_RALINK_WDT=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 0009a58..d7b5303 100644 (file)
@@ -166,7 +166,6 @@ CONFIG_RALINK=y
 CONFIG_RALINK_WDT=y
 # CONFIG_RCU_STALL_COMMON is not set
 CONFIG_RESET_CONTROLLER=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 93df687..501df2e 100644 (file)
@@ -171,7 +171,6 @@ CONFIG_RESET_CONTROLLER=y
 CONFIG_RTL8366_SMI=y
 CONFIG_RTL8367B_PHY=y
 CONFIG_RTL8367_PHY=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index c632ea5..3e6b73f 100644 (file)
@@ -174,7 +174,6 @@ CONFIG_RESET_CONTROLLER=y
 CONFIG_RTL8366_SMI=y
 CONFIG_RTL8367B_PHY=y
 CONFIG_RTL8367_PHY=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 # CONFIG_SCSI_DMA is not set
 # CONFIG_SERIAL_8250_FSL is not set
index 982dce0..907fc50 100644 (file)
@@ -444,7 +444,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SATA_PMP=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SDIO_UART=y
index 9747e53..8965aba 100644 (file)
@@ -371,7 +371,6 @@ CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 # CONFIG_SBC8360_WDT is not set
 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
 # CONFIG_SC1200_WDT is not set
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SCSI_SPI_ATTRS=y
index 52080e2..2bab6f2 100644 (file)
@@ -573,7 +573,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_PCF8563=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCHED_MC=y
 CONFIG_SCHED_SMT=y