Hi All! I'm working on the PowerPC 440EPx Sequoia port. There've been patches by David Gibson for Ebony support. Does anyone know if anybody is working on the Sequoia 440EPx support? Thanks.