diff --git a/repos/libports/src/lib/libc/dummies.cc b/repos/libports/src/lib/libc/dummies.cc
index 9e77663f5..09969dae2 100644
--- a/repos/libports/src/lib/libc/dummies.cc
+++ b/repos/libports/src/lib/libc/dummies.cc
@@ -100,7 +100,7 @@ DUMMY(pid_t , -1, getpgrp, (void))
 DUMMY(int   , -1, getpriority, (int, int))
 DUMMY(int   , -1, getrusage, (int, rusage *))
 DUMMY(uid_t ,  0, getuid, (void))
-DUMMY(int   ,  1, isatty, (int))
+DUMMY_SILENT(int   ,  1, isatty, (int))
 DUMMY(int   , -1, kill, (pid_t, int))
 DUMMY(int   , -1, link, (const char *, const char *))
 DUMMY(int   ,  0, minherit, (void *, size_t, int))
diff --git a/repos/libports/src/lib/libc/sysctl.cc b/repos/libports/src/lib/libc/sysctl.cc
index 7576f9309..81769400e 100644
--- a/repos/libports/src/lib/libc/sysctl.cc
+++ b/repos/libports/src/lib/libc/sysctl.cc
@@ -100,6 +100,14 @@ extern "C" int __sysctl(const int *name, u_int namelen,
 				*(int*)oldp = (int)PAGESIZE;
 				*oldlenp = sizeof(int);
 				return 0;
+			/*
+			 * Used on ARM platforms to check HW fp support. Since the
+			 * FP is enabled on all our ARM platforms we return true.
+			 */
+			case HW_FLOATINGPT:
+				*(int*)oldp = 1;
+				*oldlenp = sizeof(int);
+				return 0;
 
 			} break;