IPMI server manager build for Dell 12th gen servers - View it on GitHub