[U-Boot] Does U-Boot support BCM5880 board ?

Hi,

Do you know if the BCM5880 chip is supported by u-boot ? If yes, where is located the code associated to this board ?

According to the output of this (http://www.codesourcery.com/archives/arm-gnu/msg01069.html) compilation error, u-boot had some code for the bcm5880. I downloaded the lastest sources from git and did a grep and find through all files but i did not find any code related to the chip.

I am looking for some low level code to probe and pilot that chip. Do you have any hints for me?

Regards,

Fernand