Restore optimized swap kernel now that we have a proper fix
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 31 May 2018 11:41:12 +0000 (13:41 +0200)
committerGitHub <noreply@github.com>
Thu, 31 May 2018 11:41:12 +0000 (13:41 +0200)
kernel/x86/KERNEL.NEHALEM

index 835520e..65b03ae 100644 (file)
@@ -1,3 +1 @@
 include $(KERNELDIR)/KERNEL.PENRYN
-SSWAPKERNEL  = ../arm/swap.c
-DSWAPKERNEL  = ../arm/swap.c