| ## 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 17.0 off end # Intel device 1ba2: PCH SATA controller 0 (AHCI) |
| device pci 18.0 off end # Intel device 1bf2: PCH SATA controller 1 (AHCI) |
| device pci 19.0 off end # Intel device 1bd2: PCH SATA controller 2 (AHCI) |
| |
| device pci 1f.0 on # Intel device 1b81: PCH eSPI controller |
| 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 |