Please send your patches to

Clark Williams <williams@redhat.com>
John Kacur <jkacur@redhat.com>

and cc 
rt-users <linux-rt-users@vger.kernel.org>

Thank You