Operating systems class at UCSC spring 2014