Question: is pixhawk a linux board?
Answer: Single Board Linux Computer Based Controller Pixhawk and their clones are essentially a microcontroller running basic realtime OS called NuttX. ... These boards run Linux and the flight stack just runs as regular processes, along side other software such as ROS.