1 files changed, 0 insertions, 10 deletions
diff --git a/pk/pk.ac b/pk/pk.ac
index aa0c669..f846905 100644
--- a/pk/pk.ac
+++ b/pk/pk.ac
@@ -2,13 +2,3 @@ AC_ARG_ENABLE([vm], AS_HELP_STRING([--disable-vm], [Disable virtual memory]))
 AS_IF([test "x$enable_vm" != "xno"], [
   AC_DEFINE([PK_ENABLE_VM],,[Define if virtual memory support is enabled])
 ])
-
-AC_ARG_ENABLE([vm], AS_HELP_STRING([--disable-logo], [Disable boot logo]))
-AS_IF([test "x$enable_logo" != "xno"], [
-  AC_DEFINE([PK_ENABLE_LOGO],,[Define if the RISC-V logo is to be displayed])
-])
-
-AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable floating-point emulation]))
-AS_IF([test "x$enable_fp_emulation" != "xno"], [
-  AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled])
-])