Checker for the uCore labs of Tsinghua University's Operating System course. - View it on GitHub