diff options
Diffstat (limited to 'tools/examples/Makefile')
| -rw-r--r-- | tools/examples/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/examples/Makefile b/tools/examples/Makefile index 1a3b049c32..8cea724e10 100644 --- a/tools/examples/Makefile +++ b/tools/examples/Makefile @@ -19,6 +19,8 @@ XEN_CONFIGS += xmexample.hvm-stubdom XEN_CONFIGS += xmexample.pv-grub XEN_CONFIGS += xmexample.nbd XEN_CONFIGS += xmexample.vti +XEN_CONFIGS += xlexample.hvm +XEN_CONFIGS += xlexample.pvlinux XEN_CONFIGS += xend-pci-quirks.sxp XEN_CONFIGS += xend-pci-permissive.sxp XEN_CONFIGS += xl.conf |