RPI - Walk github repository for RCOS at RPI