The included textbook is _really_ good introduction to systems programming. I highly recommend taking a look if you are interested in kernel programming or interaction between OS.