GNAT User’s Guide Supplement for Cross Platforms
GNAT, The GNU Ada Development Environment
GNAT Pro Edition
Version 25.0w
Date: Apr 19, 2024
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. Predefined Profiles
- 5. Predefined GNAT Pro Run-Times
- 6. The GNAT Configurable Run-Time Facility
- 7. Support for Certified Systems
- 7.1. The Certification Philosophy
- 7.2. Using GNAT Pro Features Relevant to Certification
- 7.2.1. Exceptions
- 7.2.2. Allocators
- 7.2.3. Array and Record Assignments
- 7.2.4. Object-Oriented Programming
- 7.2.5. Functions Returning Unconstrained Objects
- 7.2.6. Controlling Implicit Conditionals and Loops
- 7.2.7. Controlling Use of Conditional Operators
- 7.2.8. Avoiding Elaboration Code
- 7.2.9. Removal of Deactivated Code
- 7.2.10. Traceability from Source Code to Object Code
- 7.2.11. Optimization issues
- 7.2.12. Other useful features
- 7.2.13. Program Build Options
- A. VxWorks Topics
- Common VxWorks Topics
- VxWorks VSB Requirements
- 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
- Known Incompatibilities on VxWorks between LLVM and GNAT
- 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
- SMP Support
- Workbench / VxWorks 7 Topics
- Helix Virtualization Platform Topics
- Common VxWorks Topics
- B. Deos Topics
- C. Bareboard Topics
- D. Customized Bareboard Run-Time Libraries
- E. ARM-ELF Topics and Tutorial
- F. ARM AARCH64-ELF Topics
- G. AVR-ELF Topics
- H. LEON3 Topics
- I. Morello-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. FastOS Topics
- O. PikeOS Topics
- P. QNX Topics
- Q. RTEMS Topics
- R. GNU Free Documentation License