1 files changed, 14 insertions, 0 deletions
diff --git a/configure b/configure
index 25de84d..a9296e0 100755
--- a/configure
+++ b/configure
@@ -592,6 +592,7 @@ subprojects_enabled
 subprojects
 BBL_PAYLOAD
 install_subdir
+PLATFORM_NAME
 RISCV
 EGREP
 GREP
@@ -669,6 +670,7 @@ ac_user_opts='
 enable_option_checking
 enable_stow
 enable_32bit
+with_platform
 enable_optional_subprojects
 enable_vm
 enable_logo
@@ -1325,6 +1327,7 @@ Optional Features:
 Optional Packages:
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
+  --with-platform=spike   Select the target platform
   --with-payload          Set ELF payload for bbl
 
 Some influential environment variables:
@@ -4090,6 +4093,17 @@ case "${BUILD_32BIT}" in
 esac
 
 
+# Check whether --with-platform was given.
+if test "${with_platform+set}" = set; then :
+  withval=$with_platform; PLATFORM_NAME=$withval
+else
+  PLATFORM_NAME=spike
+fi
+
+PLATFORM_NAME=$PLATFORM_NAME
+
+
+
 
 LIBS="-lgcc"