From d92bd5be246f9bbddb7a5406526f992e5c4ac72e Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Sat, 15 Feb 2020 23:07:50 +0100
Subject: [PATCH] Update KERNEL.POWER8

---
 kernel/power/KERNEL.POWER8 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/power/KERNEL.POWER8 b/kernel/power/KERNEL.POWER8
index ab03e63ea..da765a26e 100644
--- a/kernel/power/KERNEL.POWER8
+++ b/kernel/power/KERNEL.POWER8
@@ -86,7 +86,7 @@ ZTRSMKERNEL_RT	= ../generic/trsm_kernel_RT.c
 #SMAXKERNEL   = ../arm/max.c
 #DMAXKERNEL   = ../arm/max.c
 #
-SMINKERNEL   = min_ppc440.S
+#SMINKERNEL   =  ../arm/min.c
 #DMINKERNEL   = ../arm/min.c
 #
 ifneq ($(__BYTE_ORDER__),$(__ORDER_BIG_ENDIAN__))