Hi all.

I am interested in the current state of dt and x86. In general I have
device with some
i2c devices and gpio stuff and a coreboot based BIOS. That means I could add the
dt into the BIOS flash and make use of it. Is there any x86 bootloader that does
support devicetree? Has somebody some experiences?

thanks
---
Christian Gmeiner, MSc