Hi, I notice there is u-boot for x86 architecture in the denx site. I wonder whether the u-boot-x86 has the legacy BIOS services, such as dispatching PCI/PCIE device option rom such as video, SATA, etc. Does it have int13, int15 etc. services for x86 Linux to call during booting phase. Thanks, SK