diff options
Diffstat (limited to 'libre/linux-libre-pck/config.i686')
-rw-r--r-- | libre/linux-libre-pck/config.i686 | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/libre/linux-libre-pck/config.i686 b/libre/linux-libre-pck/config.i686 index 21279de00..68d8e5206 100644 --- a/libre/linux-libre-pck/config.i686 +++ b/libre/linux-libre-pck/config.i686 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.17.2-gnu-1-pck Kernel Configuration +# Linux/x86 4.17.3-gnu-1-pck Kernel Configuration # # CONFIG_64BIT is not set CONFIG_X86_32=y @@ -48,6 +48,7 @@ CONFIG_THREAD_INFO_IN_TASK=y # General setup # CONFIG_PCK_INTERACTIVE=y +CONFIG_SCHED_MUQSS=y CONFIG_INIT_ENV_ARG_LIMIT=32 CONFIG_CROSS_COMPILE="" # CONFIG_COMPILE_TEST is not set @@ -160,9 +161,6 @@ CONFIG_BLK_CGROUP=y # CONFIG_DEBUG_BLK_CGROUP is not set CONFIG_CGROUP_WRITEBACK=y CONFIG_CGROUP_SCHED=y -CONFIG_FAIR_GROUP_SCHED=y -CONFIG_CFS_BANDWIDTH=y -# CONFIG_RT_GROUP_SCHED is not set CONFIG_CGROUP_PIDS=y CONFIG_CGROUP_RDMA=y CONFIG_CGROUP_FREEZER=y @@ -170,7 +168,6 @@ CONFIG_CGROUP_HUGETLB=y CONFIG_CPUSETS=y CONFIG_PROC_PID_CPUSET=y CONFIG_CGROUP_DEVICE=y -CONFIG_CGROUP_CPUACCT=y CONFIG_CGROUP_PERF=y CONFIG_CGROUP_BPF=y # CONFIG_CGROUP_DEBUG is not set @@ -182,7 +179,6 @@ CONFIG_USER_NS=y # CONFIG_USER_NS_UNPRIVILEGED is not set CONFIG_PID_NS=y CONFIG_NET_NS=y -CONFIG_SCHED_AUTOGROUP=y # CONFIG_SYSFS_DEPRECATED is not set CONFIG_RELAY=y CONFIG_BLK_DEV_INITRD=y @@ -528,8 +524,14 @@ CONFIG_NR_CPUS_RANGE_END=8 CONFIG_NR_CPUS_DEFAULT=8 CONFIG_NR_CPUS=8 CONFIG_SCHED_SMT=y +CONFIG_SMT_NICE=y CONFIG_SCHED_MC=y CONFIG_SCHED_MC_PRIO=y +CONFIG_RQ_NONE=y +# CONFIG_RQ_SMT is not set +# CONFIG_RQ_MC is not set +# CONFIG_RQ_SMP is not set +CONFIG_SHARERQ=0 # CONFIG_PREEMPT_NONE is not set # CONFIG_PREEMPT_VOLUNTARY is not set CONFIG_PREEMPT=y |