Ask HN: Good hobby OS recommendations for learning

I've heard of Minix as a tool for learning about operating system design.

Which OS is a recommended for study purposes? As in operating system design and architecture.