Tiano's already fairly modular - it's not too difficult to replace chunks of the hardware-specific code. ACPI is more of a problem. Long-term I'd expect SoC ven

Tiano's already fairly modular - it's not too difficult to replace chunks of the hardware-specific code. ACPI is more of a problem. Long-term I'd expect SoC vendors to provide reference tables which end up being hacked by board and system vendors, which is actually pretty much what happens already in the x86 world (your BIOS vendor ships a reference table that includes code from people like Intel, and then you modify it to match your specific board)