@hackage ivory-hw0.1.0.3

Ivory hardware model (STM32F4).

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