Not surprising. Embeeded systems usually run on Unix-like systems with smaller instruction sets due to performance concerns. Figures you government drones would be using a slimmed linux kernel. Don't want any of Billy Gates' viruses to mess with your flying pattern.