Hello,
In case anyone wanted to play with coreboot and the Thomson IP1000, and possibly help me with some development, there are a few for sale on eBay fairly cheap. Just an FYI in case your interested:
http://search.ebay.com/search/search.dll?from=R40&_trksid=m37&satitl...