I just did a pacman -S iasl and noticed that I got the aug2012 version And, now, I can't get seabios to build for coreboot. Just an FYI, great things are coming your way. ron