A custom Unix-based, POSIX compliant operating system for the Raspberry Pi