I saw in the anouncement for the upcoming Boston, MA conference that there will be demos of CentOS on an ARM7 system. I am wondering: does this mean that there is somewhere out there a build of some version of CentOS that might run on a Raspberry Pi (which has an ARM7 processor)?