[molteanu]

Yes, that's the book. The source code is open-sourced,

https://xinu.cs.purdue.edu/