My understanding is that the actual drones themselves do run a hard realtime operating system. Linux (and formerly Windows) is used to run the workstations on

My understanding is that the actual drones themselves do run a hard realtime operating system. Linux (and formerly Windows) is used to run the workstations on the ground that the drone pilots use.