Note that (according to [1]) a distinction in the introductory OS courses is a required prerequisite for this course. That suggests that mostly students likel

Note that (according to [1]) a distinction in the introductory OS courses is a required prerequisite for this course. That suggests that mostly students likely thrive in such an intense course will take it. In addition, the course's teacher (Gernot Heiser) achieved the first full verification of an OS kernel [2]. This was a pretty major milestone in both program verification and OS. It's probably an amazing experience to be in such an OS hothouse. [1] https://www.cse.unsw.edu.au/~cs9242/14/intro/ https://www.cse.unsw.edu.au/~cs9242/14/intro/ [2] G. Heiser et al, seL4: Formal verification of an OS kernel, http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf .