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 firstname.lastname@example.org to see if we can accommodate your needs.
Please contact AdaCore for availability. Not available.