Subject: AFC IPMI Software
Description:MMC firmware written in C, running on a microcontroller inside the board. Written for the "AFC boards":http://www.ohwr.org/projects/afc/wiki. This firmware is thought to be generic enough so other AMC boards could reuse a large part of it. For now, the only "port" is for the LPC1764 chip, but more are planned.