Raspberry Pi devices are cheap, quiet, and powerful enough to run
a Debian based Linux Operating System called Raspbian. Such
device would be very convenient to manage one's personal
infrastructure, composed of some physical and / or virtual machines,
by running Chef Server.
While, the official Chef website mostly documents the …