Does anybody knows there is a port of Linux for the PowerPC G4 7400 processor? Also, I want to find out the board which runs it. Thanks, Dave Ouyang ** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/