182f51817SPaolo Bonziniconfig ARM_VIRT 282f51817SPaolo Bonzini bool 37951c7b7SThomas Huth imply PCI_DEVICES 47951c7b7SThomas Huth imply TEST_DEVICES 57951c7b7SThomas Huth imply VFIO_AMD_XGBE 6e0e312f3SPaolo Bonzini imply VFIO_PLATFORM 77951c7b7SThomas Huth imply VFIO_XGMAC 87951c7b7SThomas Huth select A15MPCORE 97951c7b7SThomas Huth select ACPI 107951c7b7SThomas Huth select ARM_SMMUV3 117951c7b7SThomas Huth select GPIO_KEY 127951c7b7SThomas Huth select FW_CFG_DMA 137951c7b7SThomas Huth select PCI_EXPRESS 147951c7b7SThomas Huth select PCI_EXPRESS_GENERIC_BRIDGE 157951c7b7SThomas Huth select PFLASH_CFI01 167951c7b7SThomas Huth select PL011 # UART 177951c7b7SThomas Huth select PL031 # RTC 187951c7b7SThomas Huth select PL061 # GPIO 197951c7b7SThomas Huth select PLATFORM_BUS 207951c7b7SThomas Huth select SMBIOS 217951c7b7SThomas Huth select VIRTIO_MMIO 22f13a944cSWei Yang select ACPI_PCI 2382f51817SPaolo Bonzini 244826ac6dSThomas Huthconfig CHEETAH 254826ac6dSThomas Huth bool 264826ac6dSThomas Huth select OMAP 274826ac6dSThomas Huth select TSC210X 284826ac6dSThomas Huth 295885e665SThomas Huthconfig CUBIEBOARD 305885e665SThomas Huth bool 315885e665SThomas Huth select ALLWINNER_A10 325885e665SThomas Huth 3382f51817SPaolo Bonziniconfig DIGIC 3482f51817SPaolo Bonzini bool 359533dcddSPaolo Bonzini select PTIMER 36627b06edSThomas Huth select PFLASH_CFI02 3782f51817SPaolo Bonzini 3882f51817SPaolo Bonziniconfig EXYNOS4 3982f51817SPaolo Bonzini bool 40bb275e4eSThomas Huth select A9MPCORE 41bb275e4eSThomas Huth select I2C 42bb275e4eSThomas Huth select LAN9118 43bb275e4eSThomas Huth select PL310 # cache controller 449533dcddSPaolo Bonzini select PTIMER 45bb275e4eSThomas Huth select SDHCI 46bb275e4eSThomas Huth select USB_EHCI_SYSBUS 4782f51817SPaolo Bonzini 4882f51817SPaolo Bonziniconfig HIGHBANK 4982f51817SPaolo Bonzini bool 5008bcda02SThomas Huth select A9MPCORE 5108bcda02SThomas Huth select A15MPCORE 5208bcda02SThomas Huth select AHCI 5308bcda02SThomas Huth select ARM_TIMER # sp804 5408bcda02SThomas Huth select ARM_V7M 5508bcda02SThomas Huth select PL011 # UART 5608bcda02SThomas Huth select PL022 # Serial port 5708bcda02SThomas Huth select PL031 # RTC 5808bcda02SThomas Huth select PL061 # GPIO 5908bcda02SThomas Huth select PL310 # cache controller 6008bcda02SThomas Huth select XGMAC # ethernet 6182f51817SPaolo Bonzini 6282f51817SPaolo Bonziniconfig INTEGRATOR 6382f51817SPaolo Bonzini bool 644cdea98bSThomas Huth select ARM_TIMER 654cdea98bSThomas Huth select INTEGRATOR_DEBUG 664cdea98bSThomas Huth select PL011 # UART 674cdea98bSThomas Huth select PL031 # RTC 684cdea98bSThomas Huth select PL050 # keyboard/mouse 694cdea98bSThomas Huth select PL110 # pl111 LCD controller 704cdea98bSThomas Huth select PL181 # display 714cdea98bSThomas Huth select SMC91C111 7282f51817SPaolo Bonzini 7382f51817SPaolo Bonziniconfig MAINSTONE 7482f51817SPaolo Bonzini bool 75959762d0SThomas Huth select PXA2XX 76959762d0SThomas Huth select PFLASH_CFI01 77959762d0SThomas Huth select SMC91C111 7882f51817SPaolo Bonzini 7908cbacccSThomas Huthconfig MUSCA 8008cbacccSThomas Huth bool 8108cbacccSThomas Huth select ARMSSE 8208cbacccSThomas Huth select PL011 8308cbacccSThomas Huth select PL031 84853c0167SThomas Huth select SPLIT_IRQ 85*5aa78a89SThomas Huth select UNIMP 8608cbacccSThomas Huth 8782f51817SPaolo Bonziniconfig MUSICPAL 8882f51817SPaolo Bonzini bool 8959dd3eb3SThomas Huth select BITBANG_I2C 9059dd3eb3SThomas Huth select MARVELL_88W8618 919533dcddSPaolo Bonzini select PTIMER 9259dd3eb3SThomas Huth select PFLASH_CFI02 9359dd3eb3SThomas Huth select SERIAL 9459dd3eb3SThomas Huth select WM8750 9582f51817SPaolo Bonzini 9682f51817SPaolo Bonziniconfig NETDUINO2 9782f51817SPaolo Bonzini bool 986239ac7eSThomas Huth select STM32F205_SOC 9982f51817SPaolo Bonzini 10082f51817SPaolo Bonziniconfig NSERIES 10182f51817SPaolo Bonzini bool 1024826ac6dSThomas Huth select OMAP 1034826ac6dSThomas Huth select TMP105 # tempature sensor 1044826ac6dSThomas Huth select BLIZZARD # LCD/TV controller 1054826ac6dSThomas Huth select ONENAND 1064826ac6dSThomas Huth select TSC210X # touchscreen/sensors/audio 1074826ac6dSThomas Huth select TSC2005 # touchscreen/sensors/keypad 1084826ac6dSThomas Huth select LM832X # GPIO keyboard chip 1094826ac6dSThomas Huth select TWL92230 # energy-management 1104826ac6dSThomas Huth select TUSB6010 11182f51817SPaolo Bonzini 11282f51817SPaolo Bonziniconfig OMAP 11382f51817SPaolo Bonzini bool 1144826ac6dSThomas Huth select FRAMEBUFFER 1154826ac6dSThomas Huth select I2C 1164826ac6dSThomas Huth select ECC 1174826ac6dSThomas Huth select NAND 1184826ac6dSThomas Huth select PFLASH_CFI01 1194826ac6dSThomas Huth select SD 1204826ac6dSThomas Huth select SERIAL 12182f51817SPaolo Bonzini 12282f51817SPaolo Bonziniconfig PXA2XX 12382f51817SPaolo Bonzini bool 124959762d0SThomas Huth select FRAMEBUFFER 125959762d0SThomas Huth select I2C 126959762d0SThomas Huth select SERIAL 127959762d0SThomas Huth select SD 128959762d0SThomas Huth select SSI 129959762d0SThomas Huth select USB_OHCI 130959762d0SThomas Huth 131959762d0SThomas Huthconfig GUMSTIX 132959762d0SThomas Huth bool 133959762d0SThomas Huth select PFLASH_CFI01 134959762d0SThomas Huth select SMC91C111 135959762d0SThomas Huth select PXA2XX 136959762d0SThomas Huth 137959762d0SThomas Huthconfig TOSA 138959762d0SThomas Huth bool 139959762d0SThomas Huth select ZAURUS # scoop 140959762d0SThomas Huth select MICRODRIVE 141959762d0SThomas Huth select PXA2XX 142959762d0SThomas Huth 143959762d0SThomas Huthconfig SPITZ 144959762d0SThomas Huth bool 145959762d0SThomas Huth select ADS7846 # display 146959762d0SThomas Huth select MAX111X # A/D converter 147959762d0SThomas Huth select WM8750 # audio codec 148959762d0SThomas Huth select MAX7310 # GPIO expander 149959762d0SThomas Huth select ZAURUS # scoop 150959762d0SThomas Huth select NAND # memory 151959762d0SThomas Huth select ECC # Error-correcting for NAND 152959762d0SThomas Huth select MICRODRIVE 153959762d0SThomas Huth select PXA2XX 154959762d0SThomas Huth 155959762d0SThomas Huthconfig Z2 156959762d0SThomas Huth bool 157959762d0SThomas Huth select PFLASH_CFI01 158959762d0SThomas Huth select WM8750 159959762d0SThomas Huth select PL011 # UART 160959762d0SThomas Huth select PXA2XX 16182f51817SPaolo Bonzini 16282f51817SPaolo Bonziniconfig REALVIEW 16382f51817SPaolo Bonzini bool 16479e93e24SThomas Huth imply PCI_DEVICES 16579e93e24SThomas Huth imply PCI_TESTDEV 16679e93e24SThomas Huth select SMC91C111 16779e93e24SThomas Huth select LAN9118 16879e93e24SThomas Huth select A9MPCORE 16979e93e24SThomas Huth select A15MPCORE 17079e93e24SThomas Huth select ARM11MPCORE 17179e93e24SThomas Huth select ARM_TIMER 17279e93e24SThomas Huth select VERSATILE_PCI 17379e93e24SThomas Huth select WM8750 # audio codec 17479e93e24SThomas Huth select LSI_SCSI_PCI 17579e93e24SThomas Huth select PCI 17679e93e24SThomas Huth select PL011 # UART 17779e93e24SThomas Huth select PL031 # RTC 17879e93e24SThomas Huth select PL041 # audio codec 17979e93e24SThomas Huth select PL050 # keyboard/mouse 18079e93e24SThomas Huth select PL061 # GPIO 18179e93e24SThomas Huth select PL080 # DMA controller 18279e93e24SThomas Huth select PL110 18379e93e24SThomas Huth select PL181 # display 18479e93e24SThomas Huth select PL310 # cache controller 18579e93e24SThomas Huth select VERSATILE_I2C 18679e93e24SThomas Huth select DS1338 # I2C RTC+NVRAM 18779e93e24SThomas Huth select USB_OHCI 18882f51817SPaolo Bonzini 18964580903SHongbo Zhangconfig SBSA_REF 19064580903SHongbo Zhang bool 19164580903SHongbo Zhang imply PCI_DEVICES 19264580903SHongbo Zhang select AHCI 19364580903SHongbo Zhang select ARM_SMMUV3 19464580903SHongbo Zhang select GPIO_KEY 19564580903SHongbo Zhang select PCI_EXPRESS 19664580903SHongbo Zhang select PCI_EXPRESS_GENERIC_BRIDGE 19764580903SHongbo Zhang select PFLASH_CFI01 19864580903SHongbo Zhang select PL011 # UART 19964580903SHongbo Zhang select PL031 # RTC 20064580903SHongbo Zhang select PL061 # GPIO 20164580903SHongbo Zhang select USB_EHCI_SYSBUS 20264580903SHongbo Zhang 2035c6e99a7SThomas Huthconfig SABRELITE 2045c6e99a7SThomas Huth bool 2055c6e99a7SThomas Huth select FSL_IMX6 2065c6e99a7SThomas Huth select SSI_M25P80 2075c6e99a7SThomas Huth 20882f51817SPaolo Bonziniconfig STELLARIS 20982f51817SPaolo Bonzini bool 210782ef8cdSThomas Huth select ARM_V7M 211782ef8cdSThomas Huth select CMSDK_APB_WATCHDOG 212782ef8cdSThomas Huth select I2C 213782ef8cdSThomas Huth select PL011 # UART 214782ef8cdSThomas Huth select PL022 # Serial port 215782ef8cdSThomas Huth select PL061 # GPIO 216782ef8cdSThomas Huth select SSD0303 # OLED display 217782ef8cdSThomas Huth select SSD0323 # OLED display 218782ef8cdSThomas Huth select SSI_SD 219782ef8cdSThomas Huth select STELLARIS_INPUT 220782ef8cdSThomas Huth select STELLARIS_ENET # ethernet 221*5aa78a89SThomas Huth select UNIMP 22282f51817SPaolo Bonzini 22382f51817SPaolo Bonziniconfig STRONGARM 22482f51817SPaolo Bonzini bool 225839507adSThomas Huth select PXA2XX 226839507adSThomas Huth 227839507adSThomas Huthconfig COLLIE 228839507adSThomas Huth bool 229839507adSThomas Huth select PFLASH_CFI01 230839507adSThomas Huth select ZAURUS # scoop 231839507adSThomas Huth select STRONGARM 23282f51817SPaolo Bonzini 2334826ac6dSThomas Huthconfig SX1 2344826ac6dSThomas Huth bool 2354826ac6dSThomas Huth select OMAP 2364826ac6dSThomas Huth 23782f51817SPaolo Bonziniconfig VERSATILE 23882f51817SPaolo Bonzini bool 23979e93e24SThomas Huth select ARM_TIMER # sp804 24079e93e24SThomas Huth select PFLASH_CFI01 24179e93e24SThomas Huth select LSI_SCSI_PCI 24279e93e24SThomas Huth select PL050 # keyboard/mouse 24379e93e24SThomas Huth select PL080 # DMA controller 24479e93e24SThomas Huth select PL190 # Vector PIC 24579e93e24SThomas Huth select REALVIEW 24679e93e24SThomas Huth select USB_OHCI 24779e93e24SThomas Huth 24879e93e24SThomas Huthconfig VEXPRESS 24979e93e24SThomas Huth bool 25079e93e24SThomas Huth select A9MPCORE 25179e93e24SThomas Huth select A15MPCORE 25279e93e24SThomas Huth select ARM_MPTIMER 25379e93e24SThomas Huth select ARM_TIMER # sp804 25479e93e24SThomas Huth select LAN9118 25579e93e24SThomas Huth select PFLASH_CFI01 25679e93e24SThomas Huth select PL011 # UART 25779e93e24SThomas Huth select PL041 # audio codec 25879e93e24SThomas Huth select PL181 # display 25979e93e24SThomas Huth select REALVIEW 26079e93e24SThomas Huth select SII9022 26179e93e24SThomas Huth select VIRTIO_MMIO 26282f51817SPaolo Bonzini 26382f51817SPaolo Bonziniconfig ZYNQ 26482f51817SPaolo Bonzini bool 26531576a91SThomas Huth select A9MPCORE 26631576a91SThomas Huth select CADENCE # UART 26731576a91SThomas Huth select PFLASH_CFI02 26831576a91SThomas Huth select PL330 26931576a91SThomas Huth select SDHCI 27031576a91SThomas Huth select SSI_M25P80 27131576a91SThomas Huth select USB_EHCI_SYSBUS 27231576a91SThomas Huth select XILINX # UART 27331576a91SThomas Huth select XILINX_AXI 27431576a91SThomas Huth select XILINX_SPI 27531576a91SThomas Huth select XILINX_SPIPS 27631576a91SThomas Huth select ZYNQ_DEVCFG 27782f51817SPaolo Bonzini 27882f51817SPaolo Bonziniconfig ARM_V7M 27982f51817SPaolo Bonzini bool 28082f51817SPaolo Bonzini 28182f51817SPaolo Bonziniconfig ALLWINNER_A10 28282f51817SPaolo Bonzini bool 2835885e665SThomas Huth select AHCI 2845885e665SThomas Huth select ALLWINNER_A10_PIT 2855885e665SThomas Huth select ALLWINNER_A10_PIC 2865885e665SThomas Huth select ALLWINNER_EMAC 2875885e665SThomas Huth select SERIAL 288*5aa78a89SThomas Huth select UNIMP 28982f51817SPaolo Bonzini 29082f51817SPaolo Bonziniconfig RASPI 29182f51817SPaolo Bonzini bool 2921ad846a2SThomas Huth select FRAMEBUFFER 2931ad846a2SThomas Huth select PL011 # UART 2941ad846a2SThomas Huth select SDHCI 29582f51817SPaolo Bonzini 29682f51817SPaolo Bonziniconfig STM32F205_SOC 29782f51817SPaolo Bonzini bool 2986239ac7eSThomas Huth select ARM_V7M 299282467f4SThomas Huth select OR_IRQ 3006239ac7eSThomas Huth select STM32F2XX_TIMER 3016239ac7eSThomas Huth select STM32F2XX_USART 3026239ac7eSThomas Huth select STM32F2XX_SYSCFG 3036239ac7eSThomas Huth select STM32F2XX_ADC 3046239ac7eSThomas Huth select STM32F2XX_SPI 30582f51817SPaolo Bonzini 30682f51817SPaolo Bonziniconfig XLNX_ZYNQMP_ARM 30782f51817SPaolo Bonzini bool 308f3c3a1e2SThomas Huth select AHCI 309f3c3a1e2SThomas Huth select ARM_GIC 310f3c3a1e2SThomas Huth select CADENCE 311f3c3a1e2SThomas Huth select DDC 312f3c3a1e2SThomas Huth select DPCD 313f3c3a1e2SThomas Huth select SDHCI 314f3c3a1e2SThomas Huth select SSI 315f3c3a1e2SThomas Huth select SSI_M25P80 316f3c3a1e2SThomas Huth select XILINX_AXI 317f3c3a1e2SThomas Huth select XILINX_SPIPS 318f3c3a1e2SThomas Huth select XLNX_ZYNQMP 31982f51817SPaolo Bonzini 32082f51817SPaolo Bonziniconfig XLNX_VERSAL 32182f51817SPaolo Bonzini bool 32224c7bb31SThomas Huth select ARM_GIC 32324c7bb31SThomas Huth select PL011 32424c7bb31SThomas Huth select CADENCE 32524c7bb31SThomas Huth select VIRTIO_MMIO 326*5aa78a89SThomas Huth select UNIMP 32782f51817SPaolo Bonzini 32882f51817SPaolo Bonziniconfig FSL_IMX25 32982f51817SPaolo Bonzini bool 33002047622SThomas Huth select IMX 33102047622SThomas Huth select IMX_FEC 33202047622SThomas Huth select IMX_I2C 33302047622SThomas Huth select DS1338 33482f51817SPaolo Bonzini 33582f51817SPaolo Bonziniconfig FSL_IMX31 33682f51817SPaolo Bonzini bool 33773129f43SThomas Huth select SERIAL 33873129f43SThomas Huth select IMX 33973129f43SThomas Huth select IMX_I2C 34073129f43SThomas Huth select LAN9118 34182f51817SPaolo Bonzini 34282f51817SPaolo Bonziniconfig FSL_IMX6 34382f51817SPaolo Bonzini bool 3445c6e99a7SThomas Huth select A9MPCORE 3455c6e99a7SThomas Huth select IMX 3465c6e99a7SThomas Huth select IMX_FEC 3475c6e99a7SThomas Huth select IMX_I2C 34802047622SThomas Huth select SDHCI 34982f51817SPaolo Bonzini 35082f51817SPaolo Bonziniconfig ASPEED_SOC 35182f51817SPaolo Bonzini bool 35268e44ddaSThomas Huth select DS1338 35368e44ddaSThomas Huth select FTGMAC100 35468e44ddaSThomas Huth select I2C 35568e44ddaSThomas Huth select PCA9552 35668e44ddaSThomas Huth select SERIAL 35768e44ddaSThomas Huth select SMBUS_EEPROM 35868e44ddaSThomas Huth select SSI 35968e44ddaSThomas Huth select SSI_M25P80 36068e44ddaSThomas Huth select TMP105 36168e44ddaSThomas Huth select TMP421 362*5aa78a89SThomas Huth select UNIMP 36382f51817SPaolo Bonzini 36482f51817SPaolo Bonziniconfig MPS2 36582f51817SPaolo Bonzini bool 366d2a99d74SThomas Huth select ARMSSE 367d2a99d74SThomas Huth select LAN9118 368d2a99d74SThomas Huth select MPS2_FPGAIO 369d2a99d74SThomas Huth select MPS2_SCC 370282467f4SThomas Huth select OR_IRQ 371d2a99d74SThomas Huth select PL022 # Serial port 372d2a99d74SThomas Huth select PL080 # DMA controller 373853c0167SThomas Huth select SPLIT_IRQ 374*5aa78a89SThomas Huth select UNIMP 37582f51817SPaolo Bonzini 37682f51817SPaolo Bonziniconfig FSL_IMX7 37782f51817SPaolo Bonzini bool 37802047622SThomas Huth imply PCI_DEVICES 37902047622SThomas Huth imply TEST_DEVICES 38002047622SThomas Huth select A15MPCORE 38102047622SThomas Huth select PCI 38202047622SThomas Huth select IMX 38302047622SThomas Huth select IMX_FEC 38402047622SThomas Huth select IMX_I2C 38502047622SThomas Huth select PCI_EXPRESS_DESIGNWARE 38602047622SThomas Huth select SDHCI 387*5aa78a89SThomas Huth select UNIMP 38882f51817SPaolo Bonzini 38982f51817SPaolo Bonziniconfig ARM_SMMUV3 39082f51817SPaolo Bonzini bool 39182f51817SPaolo Bonzini 39282f51817SPaolo Bonziniconfig FSL_IMX6UL 39382f51817SPaolo Bonzini bool 39402047622SThomas Huth select A15MPCORE 39502047622SThomas Huth select IMX 39602047622SThomas Huth select IMX_FEC 39702047622SThomas Huth select IMX_I2C 39802047622SThomas Huth select SDHCI 399*5aa78a89SThomas Huth select UNIMP 40082f51817SPaolo Bonzini 401c1c60b0dSThomas Huthconfig MICROBIT 402c1c60b0dSThomas Huth bool 403c1c60b0dSThomas Huth select NRF51_SOC 404c1c60b0dSThomas Huth 40582f51817SPaolo Bonziniconfig NRF51_SOC 40682f51817SPaolo Bonzini bool 407c1c60b0dSThomas Huth select I2C 408c1c60b0dSThomas Huth select ARM_V7M 409*5aa78a89SThomas Huth select UNIMP 41082f51817SPaolo Bonzini 411b6e2b220SThomas Huthconfig EMCRAFT_SF2 412b6e2b220SThomas Huth bool 413b6e2b220SThomas Huth select MSF2 414b6e2b220SThomas Huth select SSI_M25P80 415b6e2b220SThomas Huth 41682f51817SPaolo Bonziniconfig MSF2 41782f51817SPaolo Bonzini bool 418b6e2b220SThomas Huth select ARM_V7M 4199533dcddSPaolo Bonzini select PTIMER 420b6e2b220SThomas Huth select SERIAL 421b6e2b220SThomas Huth select SSI 422*5aa78a89SThomas Huth select UNIMP 42382f51817SPaolo Bonzini 42482f51817SPaolo Bonziniconfig ZAURUS 42582f51817SPaolo Bonzini bool 426959762d0SThomas Huth select NAND 427959762d0SThomas Huth select ECC 42882f51817SPaolo Bonzini 42982f51817SPaolo Bonziniconfig A9MPCORE 43082f51817SPaolo Bonzini bool 431bb275e4eSThomas Huth select A9_GTIMER 432bb275e4eSThomas Huth select A9SCU # snoop control unit 433bb275e4eSThomas Huth select ARM_GIC 434bb275e4eSThomas Huth select ARM_MPTIMER 43582f51817SPaolo Bonzini 43682f51817SPaolo Bonziniconfig A15MPCORE 43782f51817SPaolo Bonzini bool 4387951c7b7SThomas Huth select ARM_GIC 43982f51817SPaolo Bonzini 44082f51817SPaolo Bonziniconfig ARM11MPCORE 44182f51817SPaolo Bonzini bool 44279e93e24SThomas Huth select ARM11SCU 44382f51817SPaolo Bonzini 44482f51817SPaolo Bonziniconfig ARMSSE 44582f51817SPaolo Bonzini bool 446d2a99d74SThomas Huth select ARM_V7M 447d2a99d74SThomas Huth select ARMSSE_CPUID 448d2a99d74SThomas Huth select ARMSSE_MHU 449d2a99d74SThomas Huth select CMSDK_APB_TIMER 450d2a99d74SThomas Huth select CMSDK_APB_DUALTIMER 451d2a99d74SThomas Huth select CMSDK_APB_UART 452d2a99d74SThomas Huth select CMSDK_APB_WATCHDOG 453d2a99d74SThomas Huth select IOTKIT_SECCTL 454d2a99d74SThomas Huth select IOTKIT_SYSCTL 455d2a99d74SThomas Huth select IOTKIT_SYSINFO 456282467f4SThomas Huth select OR_IRQ 457853c0167SThomas Huth select SPLIT_IRQ 458d2a99d74SThomas Huth select TZ_MPC 459d2a99d74SThomas Huth select TZ_MSC 460d2a99d74SThomas Huth select TZ_PPC 461*5aa78a89SThomas Huth select UNIMP 46282f51817SPaolo Bonzini 46382f51817SPaolo Bonziniconfig ARMSSE_CPUID 46482f51817SPaolo Bonzini bool 46582f51817SPaolo Bonzini 46682f51817SPaolo Bonziniconfig ARMSSE_MHU 46782f51817SPaolo Bonzini bool 468