linux/Documentation/devicetree/bindings/ipmi
..
aspeed,ast2400-ibt-bmc.txt
ipmi-smic.txt