Raspberry Pi enthusiasts looking for a way to record HD video footage from their Raspberry Pi mini PC might find this new Raspberry Pi HDMI Input adapter via Kickstarter