os kernel labs for operating systems course in Tsinghua University.
ucore os lab guide
Building ucore OS step by step