Hmm.. how liteX is related to the QNX-inspired OS with selectable kernels? :)
The only problem (for me) is the availability of suitable hardware to implement it :) The only FPGA board I got is GateMate EVB-A1.
I got a Tang Primer for one of my own projects recently.