| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Chapter 3. Language-Related Issues | Next |
The restrictions defined here and in Annex D are supported, and used as defaults, as described in Appendix B.
The Ravenscar profile requires several new restrictions, which are also supported.