Found in 1 comment on Hacker News
fernly · 2018-08-11 · Original thread
The book is on Amazon, priced at $40 hardback. No "Look Inside".

https://www.amazon.com/Operating-System-Design-Approach-Seco...

Fresh book recommendations delivered straight to your inbox every Thursday.