Work and projects from the Systems Level Programming '14-'15 course