f169413c27
We deprecated the support for the 'r4k' machine for the 5.0 release
(commit d32dc61421), which means that our deprecation policy allows
us to drop it in release 5.2. Remove the code.
To repeat the rationale from the deprecation note:
- this virtual machine has no specification
- the Linux kernel dropped support for it 10 years ago
Users are recommended to use the Malta board instead.
Acked-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Reviewed-by: Thomas Huth <thuth@redhat.com>
ACKed-by: Peter Krempa <pkrempa@redhat.com>
Message-Id: <20201102201311.2220005-1-f4bug@amsat.org>
42 lines
777 B
Makefile
42 lines
777 B
Makefile
# Common mips*-softmmu CONFIG defines
|
|
|
|
# CONFIG_SEMIHOSTING is always required on this architecture
|
|
CONFIG_SEMIHOSTING=y
|
|
|
|
CONFIG_ISA_BUS=y
|
|
CONFIG_PCI=y
|
|
CONFIG_PCI_DEVICES=y
|
|
CONFIG_VGA_ISA=y
|
|
CONFIG_VGA_ISA_MM=y
|
|
CONFIG_VGA_CIRRUS=y
|
|
CONFIG_VMWARE_VGA=y
|
|
CONFIG_SERIAL=y
|
|
CONFIG_SERIAL_ISA=y
|
|
CONFIG_PARALLEL=y
|
|
CONFIG_I8254=y
|
|
CONFIG_PCSPK=y
|
|
CONFIG_PCKBD=y
|
|
CONFIG_FDC=y
|
|
CONFIG_ACPI=y
|
|
CONFIG_ACPI_X86=y
|
|
CONFIG_ACPI_MEMORY_HOTPLUG=y
|
|
CONFIG_ACPI_NVDIMM=y
|
|
CONFIG_ACPI_CPU_HOTPLUG=y
|
|
CONFIG_APM=y
|
|
CONFIG_I8257=y
|
|
CONFIG_PIIX4=y
|
|
CONFIG_IDE_ISA=y
|
|
CONFIG_IDE_PIIX=y
|
|
CONFIG_PFLASH_CFI01=y
|
|
CONFIG_I8259=y
|
|
CONFIG_MC146818RTC=y
|
|
CONFIG_EMPTY_SLOT=y
|
|
CONFIG_MIPS_CPS=y
|
|
CONFIG_MIPS_ITU=y
|
|
CONFIG_MALTA=y
|
|
CONFIG_PCNET_PCI=y
|
|
CONFIG_MIPSSIM=y
|
|
CONFIG_ACPI_SMBUS=y
|
|
CONFIG_SMBUS_EEPROM=y
|
|
CONFIG_TEST_DEVICES=y
|