added the code from https://github.com/raspberrypi/userland.git