Home

WorkInProgress

CHESS Flight software wiki

Check ReadMe for getting started.

The Quick start guide provides anything you will need to start development.

Table of contents

• Topology presentation - Presents F' Ref and CHESS topologies

ToDo

• CHESS Flight software intro
• Explain documentation resources (F' nasa.github.io, ...)
• Explain development process (GitHub project, cib, etc...)
• Source Tree (F' one)
• FPrime intro : Complete intro, Core Constructs: Ports, Components, and Topologies, Data Constructs: Commands, Events, Channels, and Parameters
• Development Process (F' Development Process)
• GDS (CLI & Dashboard) and PUS GS presentation
• Explain tests
• FreeRTOS port (OSAL and add note for baremetal usage)