Some information about the Gertboard – programming, using the ATmega48p and so on.
The Gertduino – there’s a Raspberry Pi under there somewhere!
Note that the board I have is an early version fitted with the switch modes power supply that’s not present on production boards!