Some experimental work on building a custom operating system for the raspberry pi