I don't know if anyone is interested or has been following the development of the Raspberry Pi credit card $25 'PC' but I thought I would chuck in a link as it may be of interest of some