All about Denx

Hello all,
        Iam working on MPC8245.and iam new to it.
now iam using timesys GPL-Linux for the board.
and for this there is no support. and timesys RTlinux
has support but its not free..

I listened that Denx is free RTOS and good...
So i want use Denx RTOS for my board.

i want suggetion from u people that how is it???
whether it is providing BSP's and good support???

So if anybody worked on Denx please give suggestion
...
                                         Regards
                                         Madhukar

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/