Hi,
If you're using the LTIB BSP as a starting point for your development there are
configuration files for the BDI-3000 included with that project. I used a similar
v2 processor for the CPU definition and everything seemed to work well for
kernel development. Look in the <ltib>/config/platform/m5227xevb/ directory
for the mcf5227x.cfg and reg5227x.cfg files.
The bdi3000 is the debugger I use for kernel development. If you're doing
mostly application development the others you listed might be better. The
User's Guide included with the LTIB BSP has instructions for using the BDM
that is included on the m5227xevb hardware.
Hope this helps.
Matt