Open-source firmware for your baseboard management controller (BMC)
The efficient SMT-based context-bounded model checker (ESBMC)
Service for interacting with BMCs
OPAL boot and runtime firmware for POWER
Vendor-agnostic tool for managing bare-metal systems via the Redfish API
:atm: Second life for FPGA boards which can be repurposed to DYI/Hobby p...
BMC configuration management tool
A pure Go IPMI v2.0 remote console.
Web-based user interface built on Vue.js for managing OpenBMC systems
Web-based user interface for managing OpenBMC systems