AC_ARG_ENABLE([logo], 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_WITH([payload], AS_HELP_STRING([--with-payload], [Set ELF payload for bbl]),
  [AC_SUBST([BBL_PAYLOAD], $with_payload, [Kernel payload for bbl])],
  [AC_SUBST([BBL_PAYLOAD], [dummy_payload], [Kernel payload for bbl])])