Operating system course projects at IU Bloomington 2012