Index: sys/arch/powerpc/include/cpu.h
===================================================================
RCS file: /cvsroot/src/sys/arch/powerpc/include/cpu.h,v
retrieving revision 1.110
diff -p -u -r1.110 cpu.h
--- sys/arch/powerpc/include/cpu.h	1 Dec 2019 15:34:45 -0000	1.110
+++ sys/arch/powerpc/include/cpu.h	27 Jun 2020 10:30:30 -0000
@@ -487,5 +487,6 @@ void	__syncicache(void *, size_t);
 #define	CPU_BOOTED_DEVICE	9	/* string: device we booted from */
 #define	CPU_BOOTED_KERNEL	10	/* string: kernel we booted */
 #define	CPU_EXECPROT		11	/* bool: PROT_EXEC works */
+#define	CPU_FPU			12
 
 #endif	/* _POWERPC_CPU_H_ */
Index: sys/arch/powerpc/powerpc/powerpc_machdep.c
===================================================================
RCS file: /cvsroot/src/sys/arch/powerpc/powerpc/powerpc_machdep.c,v
retrieving revision 1.77
diff -p -u -r1.77 powerpc_machdep.c
--- sys/arch/powerpc/powerpc/powerpc_machdep.c	20 Feb 2020 06:12:47 -0000	1.77
+++ sys/arch/powerpc/powerpc/powerpc_machdep.c	27 Jun 2020 10:30:30 -0000
@@ -283,6 +288,17 @@ SYSCTL_SETUP(sysctl_machdep_setup, "sysc
 		       CTLTYPE_STRING, "booted_kernel", NULL,
 		       sysctl_machdep_booted_kernel, 0, NULL, 0,
 		       CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
+	sysctl_createv(clog, 0, NULL, NULL,
+		       CTLFLAG_PERMANENT|CTLFLAG_IMMEDIATE,
+		       CTLTYPE_INT, "fpu_present", NULL,
+		       NULL,
+#if defined(PPC_HAVE_FPU)
+		       1,
+#else
+		       0,
+#endif
+		       NULL, 0,
+		       CTL_MACHDEP, CPU_FPU, CTL_EOL);
 }
 
 /*