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
Windows check Created with Sketch.
Linux check Created with Sketch.
Solaris check Created with Sketch.
check Created with Sketch.
macOS check Created with Sketch.
AIX
check Created with Sketch.
Embedded Configurations
x86 PowerPC ARM LEON
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.
Lynx178 check Created with Sketch. check Created with Sketch.
PikeOS check Created with Sketch. check Created with Sketch. check Created with Sketch.
iOS
check Created with Sketch.
Android
check Created with Sketch.
Bare Metal
check Created with Sketch. check Created with Sketch. check Created with Sketch.
Emb Linux
check Created with Sketch. check Created with Sketch.

Not currently available, please contact AdaCore.