mainmenu "Linux/SPARC Kernel Configuration"
 
+config 64BIT
+       bool "64-bit kernel" if ARCH = "sparc"
+       default ARCH = "sparc64"
+       help
+         SPARC is a family of RISC microprocessors designed and marketed by
+         Sun Microsystems, incorporated.  They are very widely found in Sun
+         workstations and clones.
+
+         Say yes to build a 64-bit kernel - formerly known as sparc64
+         Say no to build a 32-bit kernel - formerly known as sparc
+
 config SPARC
        bool
        default y
        select RTC_CLASS
        select RTC_DRV_M48T59
 
-# Identify this as a Sparc32 build
 config SPARC32
-       bool
-       default y if ARCH = "sparc"
-       help
-         SPARC is a family of RISC microprocessors designed and marketed by
-         Sun Microsystems, incorporated.  They are very widely found in Sun
-         workstations and clones. This port covers the original 32-bit SPARC;
-         it is old and stable and usually considered one of the "big three"
-         along with the Intel and Alpha ports.  The UltraLinux project
-         maintains both the SPARC32 and SPARC64 ports; its web page is
-         available at <http://www.ultralinux.org/>.
+       def_bool !64BIT
 
 config SPARC64
-       bool
-       default y if ARCH = "sparc64"
+       def_bool 64BIT
        select ARCH_SUPPORTS_MSI
        select HAVE_FUNCTION_TRACER
        select HAVE_KRETPROBES
        default 32 if SPARC32
        default 64 if SPARC64
 
-config 64BIT
-       def_bool y if SPARC64
-
 config GENERIC_TIME
        bool
        default y if SPARC64