From: Lei Xia <lxia@northwestern.edu>
Date: Fri, 17 Oct 2008 19:10:02 +0000 (-0500)
Subject: Add XED library file for intel 64 (x86)
X-Git-Tag: 1.0^2~41
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=f01a143a28b1c4d350ce714559c7751786761bf2

Add XED library file for intel 64 (x86)
---

diff --git a/palacios/lib/xed/libxed32e.a b/palacios/lib/xed/libxed32e.a
new file mode 100644
index 0000000..9bced9e
Binary files /dev/null and b/palacios/lib/xed/libxed32e.a differ