+# Format for CONFIG_VERSION:
+# 01 03 0123 = 01030123
+# ^^ ^^ ^^^^
+# | | + Configuration version/revision
+# | + Minor version
+# + Major version
+#
+# It stored as an integer. Make sure not to write an octal number.
+#
+CONFIG_MAJOR = int(_autoconf.VERSION_MAJOR)
+CONFIG_MINOR = int(_autoconf.VERSION_MINOR)
+CONFIG_REVISION = 0
+CONFIG_VERSION = (
+ 1000000 * CONFIG_MAJOR +
+ 10000 * CONFIG_MINOR +
+ 1 * CONFIG_REVISION)