Thanks for the answers @rmackay9, @gmorph, and @CraigElder . I start to see the point. I strongly agree that having a large community behind the OS allows it to evolve quite fast. I simply thought that having a simpler OS was a preferred way to go with the drone autopilots, so to avoid the extra complexity that a linux kernel may bring... Are you also looking at isolation of the autopilot and the other possible high level applications that currently are being done on companion computers?
I ask this, because I am interested in the safety aspects of writing software for drones...