Ask HN: What are the best resources for learning Operating Systems with xv6?

I have found xv6 resources here http://pdos.csail.mit.edu/6.828/2014/xv6.html but I cannot find any operating systems lectures anywhere online that teach xv6. I have found Berkeley lectures, but they use NACHOS.