A book I’d recommend that also allows for hands on approach is: XINU operating system design.

It’s not free but it’s a great book and is part of the curriculum for Purdue