Hello. I added TOMOYO Linux functionality comparison table at http://tomoyo.sourceforge.jp/comparison.html . Also, I added a note at http://tomoyo.sourceforge.jp/2.2/install.html so that users using distributions with TOMOYO-enabled kernels won't setup environment for building kernels. As far as I know, Ubuntu 9.10 and later, Debian Squeeze and later, Mandriva Linux 2010.0 and later are using TOMOYO-enabled kernels. But I don't know regarding other distributions. Please let me know if you found distributions using TOMOYO-enabled kernels. Thanks.