CS4414 operating system, rust tutorials