Virtex II Pro, powerpc 405 and ucOSII

Hi,
Is there anybody ou there who tried to run the real time OS ucOSII on a
virtex II platform ?
Have you tried different OS ?
I know that some Virtex II Pro kits comes with Linux as embedded OS but
I'm wondering if it's not too heavy for fast real time systems with
dedicated hardware parts (such as image processing, etc ...). What kind of
experience do you have with Virtex  II Pro and different OS ?
How do you manage the use of hardware peripherals (IO, computing
ressources, etc ...)
 Thanks a lot for your help

Stephane