Xv6
blog.regehr.org
blog.regehr.org
[1] http://samypesse.github.io/How-to-Make-a-Computer-Operating-...
Is minix still kicking around? I thought that was the teaching Kernel.
For looking at linux, they put all the redhat source online via LXR. Its online, but you should install your own on your own lini install.
Surely yes, since version 3.0 it got some commercial and EU funding and migrated to NetBSD userland.
Minix is enjoying the fact that it isn't 1992 any longer and there are quite a few micro-kernel OS systems to choose from.
[1] signing such an NDA will prevent them from contributing to various open source projects, that would be a shame.
In 2006, an overenthusiastic contributor caused troubles. The aftermath slash back the project for several months and stressed the relationship with Wine for some time. Since then, every possible effort is made to keep the code clean and disallow tainted developers. (that's why I wrote the comment above, to warn others) You can read a short summary on Wikipedia: http://en.wikipedia.org/wiki/ReactOS#Internal_audit
I didn't know the Microsoft source NDA was so evil though; good warning. :)
Unfortunately, I was under the impression that it stopped not so long ago (~1year)?
That being said, you are right that this is a valid concern and people should be careful.
http://www.amazon.com/Windows-Internals-Edition-Developer-Re...
http://www.amazon.com/Windows-Internals-Edition-Developer-Re...
Additionally the books for user mode programming from Jeffrey Richter and Charles Petzold tend to be quite good and full of valuable information as well.