1 files changed, 5 insertions, 0 deletions
diff --git a/pk/pk.ac b/pk/pk.ac
index fdcaa65..03af889 100644
--- a/pk/pk.ac
+++ b/pk/pk.ac
@@ -3,6 +3,11 @@ 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])