My source of: Baking Pi: Operating Systems Development! Course by Alex Chadwick. Version 1.0c (July 2013).