CONFIG_MACH_DECSTATION is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
Support for DECstations
configname: CONFIG_MACH_DECSTATION
Linux/MIPS Kernel Configuration
└─>Machine selection
└─>Support for 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_DMA_NONCOHERENT
CONFIG_IRQ_CPU
CONFIG_EARLY_PRINTK
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_CEVT_DS1287
CONFIG_CEVT_R4K
CONFIG_CSRC_IOASIC
CONFIG_CSRC_R4K
CONFIG_CPU_DADDI_WORKAROUNDS
CONFIG_CPU_R4000_WORKAROUNDS
CONFIG_CPU_R4400_WORKAROUNDS
CONFIG_NO_IOPORT_MAP
CONFIG_SYS_SUPPORTS_128HZ
CONFIG_SYS_SUPPORTS_256HZ
CONFIG_SYS_SUPPORTS_1024HZ
CONFIG_MIPS_L1_CACHE_SHIFT_4
CONFIG_IRQ_MIPS_CPU