Видео, кто не видел: http://i.imgur.com/Mzu9Njz.mp4
Интервью, кто не читал, он там про алгоритмы рассказывает (ничего конкретного): http://www.theverge.com/2016/4/15/11439798/franky-zapata-racing-jet-powered-f...
Я просто видел видео, но интервью только сейчас попалось.
Наверное он упрощает, называя топливо для его реактивных двигателей керосином, речь скорее всего про реактивное горючее: авиакеросин.
Авиалинукс здесь при том, что он там есть.