No. With two “hard” ARM Cortex-A9 processor cores inside the Zynq SoC, snickerdoodle supports a wide range of real-time and general-purpose operating systems. Alternatively, if the overhead and functionality of a full-blown OS in not necessary, it’s also possible to run snickerdoodle “bare metal.”