Port to Raspberry Pi is now functional.