ivory-hw
Version 0.1.0.6 revision 0 uploaded by EricMertens.
Package meta
- Synopsis
- Ivory hardware model (STM32F4).
- Description
Hardware model for Ivory. Currently, the STM32F4 is supported; others may be added.
- Author
- Galois, Inc.
- Bug reports
- n/a
- Category
- Language
- Copyright
- 2013 Galois, Inc.
- Homepage
- http://ivorylang.org
- Maintainer
- jamesjb@galois.com, leepike@galois.com
- Package URL
- n/a
- Stability
- n/a