SELinux kernel developers and other curious folk may be interested in the new SELinux Kernel Development Wiki page.

This is where we’ll maintain the current todo list and maintain various resources relating to SELinux kernel development. Anyone active in this area as a developer is welcome to edit the page. Accounts may be requested via Karl MacMillan.