Configuration for the simple workspace which allows building ArduPlane for Disco - View it on GitHub