[operating-system] What are some resources for getting started in operating system development?