It appears that most of the linked project runs from Arduino-based hardware (or at least originiated from the hardware). I would venture to guess that they don

It appears that most of the linked project runs from Arduino-based hardware (or at least originiated from the hardware). I would venture to guess that they don't run a full OS, per se, on the device itself, opting instead for dedicated code running on drop-in microcontrollers.