The efficient SMT-based context-bounded model checker (ESBMC)

OPAL boot and runtime firmware for POWER

WallaBMC is a lightweight BMC for STM32 and similar class MCUs, with Web UI, Redfish, and HTTPS support. Based on Zephyr RTOS.

CXL Management Interface library

Open-source PLDM communication between the HOST (UEFI firmware) and BMC

Kernel upgrade project for OpenBMC for KGPE-D16 / KCMA-D8

IPMI metrics exporter

i2c-tools like utilities to work with devices under I2C busses behind BMC

OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).

NMI Handler for user-defined codes

Hardware monitor daemon for Apple Xserve — drives front panel CPU LEDs and populates BMC for Apple Server Monitor. Runs on VMware ESXi 6.5 and Linux (Proxmox, Debian, Ubuntu, RHEL).

Userspace testing of the ASPEED HACE engine

aspeed 2600 can hava 2 spi flash on board .By register design ,can choose which one to bring up.

Нахождение корней квадратного уравнения