* Eric W. Biederman ebiederman@lnxi.com [030624 17:09]:
amd76xrom handles it. It is just a pci id difference. However older version of it don't have the pci id in it.
when "porting" devbios I even tried to access the flash devices right below 0x10000000000000000 (like on Alpha), giving strange results. Using the normal below 4G space worked fine though
Best regards, Stefan Reinauer