A memory manager for Raspberry Pi - View it on GitHub