How do you teach operating systems concepts when students can't see the kernel?

Students often struggle to connect scheduling, memory management, and concurrency theory to anything they can observe directly.

I've tried kernel tracing tools and small xv6-based assignments, but engagement varies a lot.

What approaches have worked for you to make kernel internals feel concrete without overwhelming students?