What I'd also like to say I'm impressed about is that you've pulled off a distribution with not only selinux, but also with a new kernel, and it all comes together very nicely.