Software and configuration for the Ardent Mobile Cloud Platform's Raspberry Pi