JOS Lab (includes code for disk encryption/decryption)