Xinu operating system deployed on a raspberry pi