IP Cores

Production-ready embedded IP: firmware in Rust and C, and FPGA RTL.

Each core ships with documentation, recorded test results, and integration support from the people who wrote it.

Available cores

IP that is easy to integrate, easy to license and priced up front, with documentation, test results and integration support included.

VITA 46.11 IPMC in Rust

100% Rust
The IPMC sits between the VPX Chassis Manager on IPMB-A and IPMB-B and the module payload. Every block inside it is Rust. Chassis Manager IPMB-A IPMB-B IronKernel IPMC 100% Rust IPMB link layer Commands Sensors and SDR FRU state M0–M7 SHA-256 bootloader FRU inventory power Payload
  • Rust no_std
  • VITA 46.11
  • IPMI v2.0
  • Arm Cortex-M4F
  • DO-178C DAL-D
  • 0lines of C
  • 141 KBflash
  • 25 KBRAM
  • 1,253tests passed

Built completely in Rust. Intelligent Platform Management Controller firmware for VPX plug-in modules. Tier-1, Tier-2 and Tier-3 from one source tree, on a single Arm Cortex-M4F with no FPGA, no RTOS and no C code.

Memory-safe by construction, designed to meet DO-178C Level D, and verified with 1,253 passing tests and an independent conformance suite.

Tiers 1, 2, 3One Rust source tree
Details & brief Contact Us