Platform Support

Our products are available on a wide range of platforms, both native and cross, with targets including commercial RTOSes and Bare Metal. For product-specific information, please visit our products page. If you don't see a platform you're interested in, contact info@adacore.com to see if we can accommodate your needs.

Native Configurations
x86 PowerPC SPARC
AIX
check Created with Sketch.
Linux check Created with Sketch.
macOS check Created with Sketch.
Solaris check Created with Sketch.
check Created with Sketch.
Windows check Created with Sketch.
Embedded Configurations
x86 PowerPC ARM LEON
Android
check Created with Sketch.
Bare Metal
check Created with Sketch. check Created with Sketch. check Created with Sketch.
Embedded Linux
check Created with Sketch. check Created with Sketch.
iOS
check Created with Sketch.
Lynx178 check Created with Sketch. check Created with Sketch.
PikeOS check Created with Sketch. check Created with Sketch. check Created with Sketch.
QNX
check Created with Sketch.
VxWorks 5
check Created with Sketch.
VxWorks 6 check Created with Sketch. check Created with Sketch. check Created with Sketch.
VxWorks 7 check Created with Sketch. check Created with Sketch. check Created with Sketch.
VxWorks 653
check Created with Sketch.

Please contact AdaCore for availability.     Not available.