Discovered Pages
[Discover] RCA RM4100:Howto coreboot and Linux - Set-Top-Linux http://www.settoplinux.org/index.php?title=RCA_RM4100:Howto_coreboot_and_Linux
(bios linux coreboot) 
[Discover] Welcome to coreboot - coreboot http://www.coreboot.org/Welcome_to_coreboot (linux opensource hardware technology)