If you would like things to be explained in more detail (and take you to the next level); i highly recommend Embedded Systems Architecture: Explore architectural concepts, pragmatic design patterns, and best practices to produce robust systems by Daniele Lacamera. The name is a bit of a misnomer; it is basically a ground up introduction to bare-metal programming all the way up to writing your own Task scheduler/OS.