Mark PK as version 1.0.0

Why not?

Signed-off-by: Palmer Dabbelt <palmer@dabbelt.com>

configure

@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.69 for RISC-V Proxy Kernel ?.
+# Generated by GNU Autoconf 2.69 for RISC-V Proxy Kernel 1.0.0.
 #
 # Report bugs to <Andrew Waterman>.
 #
@@ -580,8 +580,8 @@ MAKEFLAGS=
 # Identity of this package.
 PACKAGE_NAME='RISC-V Proxy Kernel'
 PACKAGE_TARNAME='riscv-pk'
-PACKAGE_VERSION='?'
-PACKAGE_STRING='RISC-V Proxy Kernel ?'
+PACKAGE_VERSION='1.0.0'
+PACKAGE_STRING='RISC-V Proxy Kernel 1.0.0'
 PACKAGE_BUGREPORT='Andrew Waterman'
 PACKAGE_URL=''
 
@@ -647,7 +647,6 @@ infodir
 docdir
 oldincludedir
 includedir
-runstatedir
 localstatedir
 sharedstatedir
 sysconfdir
@@ -735,7 +734,6 @@ datadir='${datarootdir}'
 sysconfdir='${prefix}/etc'
 sharedstatedir='${prefix}/com'
 localstatedir='${prefix}/var'
-runstatedir='${localstatedir}/run'
 includedir='${prefix}/include'
 oldincludedir='/usr/include'
 docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
@@ -988,15 +986,6 @@ do
   | -silent | --silent | --silen | --sile | --sil)
     silent=yes ;;
 
-  -runstatedir | --runstatedir | --runstatedi | --runstated \
-  | --runstate | --runstat | --runsta | --runst | --runs \
-  | --run | --ru | --r)
-    ac_prev=runstatedir ;;
-  -runstatedir=* | --runstatedir=* | --runstatedi=* | --runstated=* \
-  | --runstate=* | --runstat=* | --runsta=* | --runst=* | --runs=* \
-  | --run=* | --ru=* | --r=*)
-    runstatedir=$ac_optarg ;;
-
   -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
     ac_prev=sbindir ;;
   -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
@@ -1134,7 +1123,7 @@ fi
 for ac_var in	exec_prefix prefix bindir sbindir libexecdir datarootdir \
 		datadir sysconfdir sharedstatedir localstatedir includedir \
 		oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
-		libdir localedir mandir runstatedir
+		libdir localedir mandir
 do
   eval ac_val=\$$ac_var
   # Remove trailing slashes.
@@ -1247,7 +1236,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures RISC-V Proxy Kernel ? to adapt to many kinds of systems.
+\`configure' configures RISC-V Proxy Kernel 1.0.0 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1287,7 +1276,6 @@ Fine tuning of the installation directories:
   --sysconfdir=DIR        read-only single-machine data [PREFIX/etc]
   --sharedstatedir=DIR    modifiable architecture-independent data [PREFIX/com]
   --localstatedir=DIR     modifiable single-machine data [PREFIX/var]
-  --runstatedir=DIR       modifiable per-process data [LOCALSTATEDIR/run]
   --libdir=DIR            object code libraries [EPREFIX/lib]
   --includedir=DIR        C header files [PREFIX/include]
   --oldincludedir=DIR     C header files for non-gcc [/usr/include]
@@ -1313,7 +1301,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of RISC-V Proxy Kernel ?:";;
+     short | recursive ) echo "Configuration of RISC-V Proxy Kernel 1.0.0:";;
    esac
   cat <<\_ACEOF
 
@@ -1420,7 +1408,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-RISC-V Proxy Kernel configure ?
+RISC-V Proxy Kernel configure 1.0.0
 generated by GNU Autoconf 2.69
 
 Copyright (C) 2012 Free Software Foundation, Inc.
@@ -1592,7 +1580,7 @@ cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by RISC-V Proxy Kernel $as_me ?, which was
+It was created by RISC-V Proxy Kernel $as_me 1.0.0, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   $ $0 $@
@@ -4090,7 +4078,7 @@ if test "${enable_print_device_tree+set}" = set; then :
   enableval=$enable_print_device_tree;
 fi
 
-if test "x$enable_print_device_tree" == "xyes"; then :
+if test "x$enable_print_device_tree" = "xyes"; then :
 
 
 $as_echo "#define PK_PRINT_DEVICE_TREE /**/" >>confdefs.h
@@ -4250,7 +4238,7 @@ if test "${enable_logo+set}" = set; then :
   enableval=$enable_logo;
 fi
 
-if test "x$enable_logo" == "xyes"; then :
+if test "x$enable_logo" = "xyes"; then :
 
   BBL_ENABLE_LOGO=1
 
@@ -4297,7 +4285,7 @@ if test "${enable_boot_machine+set}" = set; then :
   enableval=$enable_boot_machine;
 fi
 
-if test "x$enable_boot_machine" == "xyes"; then :
+if test "x$enable_boot_machine" = "xyes"; then :
 
 
 $as_echo "#define BBL_BOOT_MACHINE /**/" >>confdefs.h
@@ -5035,7 +5023,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by RISC-V Proxy Kernel $as_me ?, which was
+This file was extended by RISC-V Proxy Kernel $as_me 1.0.0, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -5097,7 +5085,7 @@ _ACEOF
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
 ac_cs_version="\\
-RISC-V Proxy Kernel config.status ?
+RISC-V Proxy Kernel config.status 1.0.0
 configured by $0, generated by GNU Autoconf 2.69,
   with options \\"\$ac_cs_config\\"
 

configure.ac

@@ -32,7 +32,7 @@ m4_define( proj_abbreviation, [riscv-pk])
 # distribution knows what version it came from. If you are not using
 # version control then it is fine to set this directly.
 
-m4_define( proj_version, [?])
+m4_define( proj_version, [1.0.0])
 
 #-------------------------------------------------------------------------
 # Setup