Dear All, Fedora 17 binary packages (64bit) are now available: http://tomoyo.sourceforge.jp/1.8/chapter-3.html.en Until mid-September, I may be unable to provide as quick updates as usual for all 64bit packages (RHEL and Fedora). To generate the ccs-kernel SRPM, I use these shellscripts: http://sourceforge.jp/projects/tomoyo/svn/view/branches/jamielinux/buildscripts/?root=tomoyo and you may wish to use these scripts to build your own kernels. Kind regards, Jamie