The OpenFPGAduino broad use debain linux as the operation system and it support apt-get package management for installing new software easily.
The kernel version is 3.4.18