mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
This partially reverts 16504669c5
since xentop cross-compiles fine.
Signed-off-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>