blob: 1b4bfc672098ec816aa68764878a1a8d85e61252 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
## 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 0a.0 on # M.2_1
smbios_slot_desc "SlotTypeM2Socket3" "SlotLengthLong" "M.2_1" "SlotDataBusWidth4X"
end
device pci 0f.0 on
device pci 0 on # BMC
device pci 0 on end # VGA
end
end
device pci 10.0 on # M.2_2
smbios_slot_desc "SlotTypeM2Socket3" "SlotLengthLong" "M.2_2" "SlotDataBusWidth4X"
end
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
device domain 226 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD12" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD11" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD10" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD09" "SlotDataBusWidth4X"
end
end
device domain 337 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD13" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD14" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD15" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD16" "SlotDataBusWidth4X"
end
end
device domain 102a7 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD28" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD27" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD26" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD25" "SlotDataBusWidth4X"
end
end
device domain 103b7 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD29" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD30" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD31" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD32" "SlotDataBusWidth4X"
end
end
device domain 20448 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD17" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD18" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD19" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD20" "SlotDataBusWidth4X"
end
end
device domain 20559 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD24" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD23" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD22" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD21" "SlotDataBusWidth4X"
end
end
device domain 304c7 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD01" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD02" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD03" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD04" "SlotDataBusWidth4X"
end
end
device domain 305d7 on
device pci 00.0 on end # VTD
device pci 01.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD08" "SlotDataBusWidth4X"
end
device pci 03.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD07" "SlotDataBusWidth4X"
end
device pci 05.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD06" "SlotDataBusWidth4X"
end
device pci 07.0 on
smbios_slot_desc "SlotTypeEDSFF_E1" "SlotLengthLong" "RSSD05" "SlotDataBusWidth4X"
end
end
end
|
