This package was debianized by Bdale Garbee <bdale@gag.com> using sources
obtained from

	ftp://ftp.hpl.hp.com/pub/linux-ia64/

Copyright:

gnu-efi is distributed under the GNU Public License. On a Debian system,
the license can be found in /usr/share/common-licenses/GPL. Or you may 
contact the Free Software Foundation to obtain a copy.
