[anta40]

Check "Operating System Design Book Series": https://www.fysnet.net/osdesign_book_series.htm

Just remember I own the first 2 books, and haven't finished studying it. Oh well :p