hey, would anyone know if there is a linux port for the risc/6000 processor????