A collection of documentation related to the use of a Raspberry Pi in a primary school classroom