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.

x86PowerPCSPARC
Linux check Created with Sketch.
Solaris check Created with Sketch.
check Created with Sketch.
Windows check Created with Sketch.
x86PowerPCARMLEONRISC-V
Bare Metal check Created with Sketch. check Created with Sketch. check Created with Sketch. check Created with Sketch. check Created with Sketch.
Embedded Linux
 check Created with Sketch. check Created with Sketch.
Lynx178 check Created with Sketch. check Created with Sketch.
PikeOS
 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.