We also offer expertise developing high assurance software for SmallSat platforms that use the NASA core Flight System framework. FRS operates two flight software work areas in the Microsoft Azure Cloud, a CentOS target and an RTEMS target.
We use Visual Studio open source workloads with a Kan Ban development process centered around GitHub projects.