GNAT User’s Guide Supplement for Cross Platforms¶
GNAT, The GNU Ada Development Environment
GNAT Pro Edition
Version 22.0w
Date: Mar 04, 2021
AdaCore
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with the Front-Cover Texts being “GNAT User’s Guide for Native Platforms”, and with no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.
- 1. About This Guide
- 2. Introduction to GNAT for Cross Platforms
- 3. The Primary and Secondary Stacks
- 4. The Predefined Profiles
- 4.1. Choosing a Predefined Profile
- 4.2. The Zero Footprint Profile
- 4.2.1. The -nostdlib Switch
- 4.2.2. Ada Restrictions in the Zero Footprint Profile
- 4.2.3. Predefined Packages in the Zero Footprint Profile
- 4.2.4. Thread Registration Issues
- 4.2.5. Pragmas Automatically Enabled in the Zero Footprint Profile
- 4.2.6. Exceptions and the Last Chance Handler - ZFP and Ravenscar SFP
- 4.3. The Cert Profile
- 4.4. The Ravenscar Profiles
- 4.5. The Jorvik Profile
- 5. The GNAT Configurable Run-Time Facility
- 6. Support for Certified Systems
- 6.1. The Certification Philosophy
- 6.2. Using GNAT Pro Features Relevant to Certification
- 6.2.1. Exceptions
- 6.2.2. Allocators
- 6.2.3. Array and Record Assignments
- 6.2.4. Object-Oriented Programming
- 6.2.5. Functions Returning Unconstrained Objects
- 6.2.6. Controlling Implicit Conditionals and Loops
- 6.2.7. Controlling Use of Conditional Operators
- 6.2.8. Avoiding Elaboration Code
- 6.2.9. Removal of Deactivated Code
- 6.2.10. Traceability from Source Code to Object Code
- 6.2.11. Optimization issues
- 6.2.12. Other useful features
- 6.2.13. Program Build Options
- A. VxWorks Topics
- Common VxWorks Topics
- VxWorks Kernel Requirements
- Executing a Program on VxWorks
- Mixed-Language Programming on VxWorks using GNAT Exclusively
- Mixed-Language Programming using the VxWorks C/C++ Compilers
- Interoperability with VxWorks C/C++ Compilers
- Exception Handling
- Kernel Configuration for VxWorks
- Main Task Attributes and the Application Stub
- Stack Overflow Checking on VxWorks
- Interrupt Handling for VxWorks
- Handling Relocation Issues for PowerPC Targets
- Calling exported Ada procedures from the VxWorks shell
- Simulating Command Line Arguments for VxWorks
- Traceback Support on VxWorks
- Using addr2line on VxWorks
- Removal of Unused Code and Data
- Debugging
- Frequently Asked Questions for VxWorks
- Workbench / VxWorks 6.x Topics
- Workbench / VxWorks 7 Topics
- VxWorks 653 Topics
- Common VxWorks Topics
- B. LynxOS-178 Topics
- C. Bareboard Topics
- D. Customized Bareboard Run-Time Libraries
- E. ARM-ELF Topics and Tutorial
- F. ARM AARCH64-ELF Topics
- G. LEON3 Topics
- H. MC68000 Series Topics
- I. PowerPC 55xx ELF Topics
- J. RISC-V 32-Bit ELF Topics
- K. RISC-V 64-Bit ELF Topics
- L. x86_64 ELF Topics
- M. Cross Linux Topics
- N. PikeOS Topics
- O. iOS Topics
- P. QNX Topics
- Q. GNU Free Documentation License