If you've got a Raspberry Pi, you may want to consider using it as a smart hub. Here are some tips to help you make it great.
It uses the bare Raspberry Pi Pico SDK and a custom GCC 14.2/Newlib 4.3 toolchain and supports ARM and RISC-V cores. Installing Arduino using flatpak (often used by "App Stores" in various Linux ...