Write a white paper that surveys the state-of-the-art in using Linux (and other open-source OS) in avionics. Writing is done in LaTeX in [Overleaf](https://www.overleaf.com/project/63ee5a398ae14b0bad694e21). Ask Martin Halle for access permission.