F' - A flight software and embedded systems framework - View it on GitHub