Embedded system development kit for sale

1) IBM/AMCC PPC405EP evaluation board from IBM.
2) 266MHZ CPU, 128MBytes SDRAM.
3) 4 PCI slots.
4) BDI 2000 JTAG emulator
5) PCI USB2.0 card
6) Complete Eclipse base embedded linux development environement.(Cross tool chain, linux distribution...)
7) Vxworks 2.2

robert_kw at yahoo dot com