The new Arduino UNO Q features a beefy Qualcomm SOC running Linux, alongside an STM32 microcontroller which is programmable from the Arduino IDE. The MCU side is wide open, but the SOC side is full of proprietary firmware blobs, so I assume the lawyers are concerned about those being reverse engineered.