I think it's Raspbian + hypriot kernal + Docker + other special sauce like the ability to plug a program in via a USB stick