The class notes, problem sets, and sample solutions for ECE 457 — Operating Systems have been taken down, as per Hak’s request.
Hak’s notes (in PDF) for ECE 466 — Compiler Theory and snapshots of my C99 compiler for Plan 9 are here.
My Facebook profile is here.