ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer
PrevChapter 3. Language-Related IssuesNext

3.17. Annex C: Systems Programming

Annex C is supported as follows.

C1. Access to Machine Operations

Section C1 is fully supported.

C2. Required Representation Support

Section C2 is fully supported.

C3. Interrupt Support

Interrupts are fully supported. In particular, the package Ada.Interrupts.Names is customized for the target computer.

C4. Preelaboration Requirements

Section C4 is fully supported.

C5. Pragma Discard_Names

Section C5 is fully supported.

C6. Shared Variable Control

Section C6 is fully supported.

C7. Task Identification and Attributes

Section C7 is not fully supported because of the restrictions on tasking.

PrevHomeNext
Annex B: Interface to Other LanguagesUpAnnex D: Real-Time Systems