Here are
12 public repositories
matching this topic...
The efficient SMT-based context-bounded model checker (ESBMC)
OPAL boot and runtime firmware for POWER
Automated Code Repair suite powered by ESBMC and LLMs.
Kernel upgrade project for OpenBMC for KGPE-D16 / KCMA-D8
Open-source PLDM communication between the HOST (UEFI firmware) and BMC
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
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.
Нахождение корней квадратного уравнения
Improve this page
Add a description, image, and links to the
bmc
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
bmc
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.