Very nice! So for this box coreboot is not only an alternative to a vendor BIOS, it's the _only_ way to run Linux? Make sure to mention this in the wiki page.
Uwe, If you want a little history lesson on the RCA RM4100 & Thomson IP1000 than check out my about page:-)
http://www.settoplinux.org/index.php?title=Set-Top-Linux:About