CONFIG_MACH_DECSTATION is not available for thedefaultarchitecture x86.
							 Result is shown for architecture mips 
						
					DECstations
configname: CONFIG_MACH_DECSTATION
System type
└─>DECstations
In linux kernel since version 2.6.12
							This enables support for DEC's MIPS based workstations.  For details
						
see the Linux/MIPS FAQ on <http://www.linux-mips.org/> and the
DECstation porting pages on <http://decstation.unix-ag.org/>.
							
						
If you have one of the following DECstation Models you definitely
want to choose R4xx0 for the CPU Type:
							
						
DECstation 5000/50
DECstation 5000/150
DECstation 5000/260
DECsystem 5900/260
							
						
otherwise choose R3000.
							
						
						
					see the Linux/MIPS FAQ on <http://www.linux-mips.org/> and the
DECstation porting pages on <http://decstation.unix-ag.org/>.
If you have one of the following DECstation Models you definitely
want to choose R4xx0 for the CPU Type:
DECstation 5000/50
DECstation 5000/150
DECstation 5000/260
DECsystem 5900/260
otherwise choose R3000.
selects
CONFIG_BOOT_ELF32CONFIG_CEVT_DS1287
CONFIG_CEVT_R4K
CONFIG_CSRC_IOASIC
CONFIG_CSRC_R4K
CONFIG_CPU_DADDI_WORKAROUNDS
CONFIG_CPU_R4000_WORKAROUNDS
CONFIG_CPU_R4400_WORKAROUNDS
CONFIG_DMA_NONCOHERENT
CONFIG_NO_IOPORT_MAP
CONFIG_IRQ_MIPS_CPU
CONFIG_SYS_HAS_CPU_R3000
CONFIG_SYS_HAS_CPU_R4X00
CONFIG_SYS_SUPPORTS_32BIT_KERNEL
CONFIG_SYS_SUPPORTS_64BIT_KERNEL
CONFIG_SYS_SUPPORTS_LITTLE_ENDIAN
CONFIG_SYS_SUPPORTS_128HZ
CONFIG_SYS_SUPPORTS_256HZ
CONFIG_SYS_SUPPORTS_1024HZ
CONFIG_MIPS_L1_CACHE_SHIFT_4
