Kernel 4.19 config from AEI Gentoo, updated README, patch

patches/linux-4.19-cs/README

-These are the patches developed by Keith Thorne and
-Rolf Bork to create a stable 'cs' (CPU Shutdown) 
-linux kernel 4.9 for CDS real-time.  All patches are required.
+These are the patches and config files developed by Gerrit Kuehn, 
+Keith Thorne and Rolf Bork to create a stable 'cs' (CPU Shutdown) 
+linux kernel 4.19 for CDS real-time.  Both the patch and config file are needed
 
 - Basic CDS patch - adds CPU Shutdown
-kernel-4.9-cs.patch
+kernel-4.19-cs.patch
+
+- Custom kernel 4.19 config file - creates monolithic kernel with a minimum of drivers
+kernel-4.19.37-aei-cs
+
 
 

patches/linux-4.19-cs/linux-4.19-cs.patch

-diff -r -u -d linux-source-4.9.orig/arch/x86/kernel/smpboot.c linux-source-4.9.cs/arch/x86/kernel/smpboot.c
---- linux-source-4.9.orig/arch/x86/kernel/smpboot.c	2019-04-05 15:29:15.000000000 -0500
-+++ linux-source-4.9.cs/arch/x86/kernel/smpboot.c	2019-06-06 09:21:28.357716391 -0500
-@@ -1573,6 +1573,18 @@
+diff -r -u -d linux-source-4.19.orig/arch/x86/kernel/smpboot.c linux-source-4.19.cs/arch/x86/kernel/smpboot.c
+--- linux-source-4.19.orig/arch/x86/kernel/smpboot.c	2019-04-27 02:36:41.000000000 -0500
++++ linux-source-4.19.cs/arch/x86/kernel/smpboot.c	2019-09-04 10:44:14.997185804 -0500
+@@ -1559,6 +1559,18 @@
  	common_cpu_die(cpu);
  }
  
@@ -20,7 +20,7 @@ diff -r -u -d linux-source-4.9.orig/arch/x86/kernel/smpboot.c linux-source-4.9.c
  void play_dead_common(void)
  {
  	idle_task_exit();
-@@ -1586,6 +1598,10 @@
+@@ -1570,6 +1582,10 @@
  	 * With physical CPU hotplug, we should halt the cpu
  	 */
  	local_irq_disable();
@@ -31,10 +31,10 @@ diff -r -u -d linux-source-4.9.orig/arch/x86/kernel/smpboot.c linux-source-4.9.c
  }
  
  static bool wakeup_cpu0(void)
-diff -r -u -d linux-source-4.9.orig/kernel/cpu.c linux-source-4.9.cs/kernel/cpu.c
---- linux-source-4.9.orig/kernel/cpu.c	2019-05-13 15:59:18.000000000 -0500
-+++ linux-source-4.9.cs/kernel/cpu.c	2019-06-06 10:55:34.854916689 -0500
-@@ -1227,7 +1227,7 @@
+diff -r -u -d linux-source-4.19.orig/kernel/cpu.c linux-source-4.19.cs/kernel/cpu.c
+--- linux-source-4.19.orig/kernel/cpu.c	2019-08-07 21:02:38.000000000 -0500
++++ linux-source-4.19.cs/kernel/cpu.c	2019-09-04 10:44:14.997185804 -0500
+@@ -1160,7 +1160,7 @@
  {
  	return do_cpu_up(cpu, CPUHP_ONLINE);
  }