Fred, thanks for the update. I was double checking because, believe it or not, we have had a surprising number of people in the last 18 years ask how they could install coreboot to run under linux ... :-)