diff options
-rw-r--r-- | kernels/linux-libre-rt/PKGBUILD | 4 | ||||
-rw-r--r-- | kernels/linux-libre-rt/config.i686 | 4 | ||||
-rw-r--r-- | kernels/linux-libre-rt/config.x86_64 | 4 |
3 files changed, 8 insertions, 4 deletions
diff --git a/kernels/linux-libre-rt/PKGBUILD b/kernels/linux-libre-rt/PKGBUILD index fbed07cd9..60fa1c104 100644 --- a/kernels/linux-libre-rt/PKGBUILD +++ b/kernels/linux-libre-rt/PKGBUILD @@ -42,8 +42,8 @@ _localversionname=-LIBRE-RT md5sums=('a5e128ca059cceb8b69148b41ff4ac6f' '6ef5ab23e1999605f0185a6fc4d224f2' '8ddc7ee43b418e06121bd09fa0e97bf6' - 'f083edc19ca3b7abbafa787dad005eae' - '9e4b6e8d991d6873b2c37a10b32b8d9c' + 'd176ceb303ecfb2303d9659ea2dd91c7' + 'bcb219ab37ed19912126189cfca30538' '82496e68851d1960543a07ba51cdb44a' '2967cecc3af9f954ccc822fd63dca6ff' '8267264d9a8966e57fdacd1fa1fc65c4' diff --git a/kernels/linux-libre-rt/config.i686 b/kernels/linux-libre-rt/config.i686 index 4748037f0..31ce556cf 100644 --- a/kernels/linux-libre-rt/config.i686 +++ b/kernels/linux-libre-rt/config.i686 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/i386 3.4.9 Kernel Configuration +# Linux/i386 3.4.0 Kernel Configuration # # CONFIG_64BIT is not set CONFIG_X86_32=y @@ -132,6 +132,7 @@ CONFIG_CGROUP_MEM_RES_CTLR_KMEM=y CONFIG_CGROUP_SCHED=y CONFIG_FAIR_GROUP_SCHED=y CONFIG_CFS_BANDWIDTH=y +CONFIG_RT_GROUP_SCHED=y CONFIG_BLK_CGROUP=y # CONFIG_DEBUG_BLK_CGROUP is not set # CONFIG_CHECKPOINT_RESTORE is not set @@ -5434,6 +5435,7 @@ CONFIG_ENABLE_WARN_DEPRECATED=y # CONFIG_ENABLE_MUST_CHECK is not set CONFIG_FRAME_WARN=1024 CONFIG_MAGIC_SYSRQ=y +# CONFIG_MAGIC_SYSRQ_FORCE_PRINTK is not set CONFIG_STRIP_ASM_SYMS=y CONFIG_UNUSED_SYMBOLS=y CONFIG_DEBUG_FS=y diff --git a/kernels/linux-libre-rt/config.x86_64 b/kernels/linux-libre-rt/config.x86_64 index 0990586b0..f8819f623 100644 --- a/kernels/linux-libre-rt/config.x86_64 +++ b/kernels/linux-libre-rt/config.x86_64 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 3.4.9 Kernel Configuration +# Linux/x86_64 3.4.0 Kernel Configuration # CONFIG_64BIT=y # CONFIG_X86_32 is not set @@ -132,6 +132,7 @@ CONFIG_CGROUP_MEM_RES_CTLR_KMEM=y CONFIG_CGROUP_SCHED=y CONFIG_FAIR_GROUP_SCHED=y CONFIG_CFS_BANDWIDTH=y +CONFIG_RT_GROUP_SCHED=y CONFIG_BLK_CGROUP=y # CONFIG_DEBUG_BLK_CGROUP is not set # CONFIG_CHECKPOINT_RESTORE is not set @@ -5206,6 +5207,7 @@ CONFIG_ENABLE_WARN_DEPRECATED=y # CONFIG_ENABLE_MUST_CHECK is not set CONFIG_FRAME_WARN=2048 CONFIG_MAGIC_SYSRQ=y +# CONFIG_MAGIC_SYSRQ_FORCE_PRINTK is not set CONFIG_STRIP_ASM_SYMS=y CONFIG_UNUSED_SYMBOLS=y CONFIG_DEBUG_FS=y |