K 10 svn:author V 3 dfr K 8 svn:date V 27 2001-09-15T12:29:46.000000Z K 7 svn:log V 214 * Use Intel's EFI headers instead of home-grown ones. * Use the bootinfo's memory map if present instead of hard-coding SKI's memory map. * Record the location of the I/O Port Space if present in the memory map. END