## SPDX-License-Identifier: GPL-2.0-or-later

chip soc/intel/xeon_sp/spr

	device domain 0 on
		device pci 16.3 off end # Serial controller: Intel Corporation Device 1be3

		device pci 1f.0 on         # Intel device 1b81: PCH eSPI controller
			chip superio/common
				device pnp 2e.0 on
					chip superio/aspeed/ast2400
						register "use_espi" = "1"
						device pnp 2e.2 off end  # SUART1
						device pnp 2e.3 off end  # SUART2
					end
				end
			end
			chip drivers/ipmi # BMC KCS
				device pnp ca2.0 on end
				register "bmc_i2c_address" = "0x20"
				register "bmc_boot_timeout" = "60"
			end
			chip drivers/pc80/tpm # TPM
				device pnp 0c31.0 on end
			end
		end
		device pci 1f.3 off end # Intel device 1bc8: PCH audio
		device pci 1f.6 off end # Intel device 1bcb: PCH GbE controller
	end
end