This project provides packages and an SD card image for Debian for the Intel Gellileo boards (both Gen 1 and Gen2). Aside from the board specific kernel and some configuration that is unique to this board, the rest of the image is normal Debian Wheezy for i386.