About

Metadata

  • Last updated , by EricMertens
  • License BSD-3-Clause
  • Maintained by: jamesjb@galois.com, leepike@galois.com

  • Lottery factor: 0

Links

Installation

Readme

Hardware model for Ivory. Currently, the STM32F4 is supported; others may be added.