You just read:

Green Hills Software INTEGRITY-178 tuMP Multicore Operating System Selected by Commercial & Military Flight Critical Equipment Supplier for DO-178B Level A Certification on the Xilinx Zynq Ultrascale+ MPSoC

News provided by

Green Hills Software

Jul 17, 2017, 08:00 ET