From 577ffc85192f1d445fe42c8f1665b2136c3df575 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sat, 4 Apr 2015 16:08:04 +0600
Subject: Add a function to check if DMI is available on Linux. This is useful
 for Xen PV vs. HVM detection.

---
 src/hypervisor_check.ads | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/hypervisor_check.ads')

diff --git a/src/hypervisor_check.ads b/src/hypervisor_check.ads
index ebb16cc..86ca5a2 100644
--- a/src/hypervisor_check.ads
+++ b/src/hypervisor_check.ads
@@ -18,6 +18,8 @@ package Hypervisor_Check is
 
     function Hypervisor_Present return Boolean;
 
+    function DMI_Available return Boolean;
+
     function Get_DMI_Vendor_Name return US.Unbounded_String;
 
 private
-- 
cgit v1.2.3