I am looking for the mailing lists where discussions specific to the PPC Linux kernel take place and I cannot find it on http://lists.penguinppc.org/ Does this list still exist? Thanks -Arrigo