Initial import of barely working stuff.

1 files changed, 16 insertions, 0 deletions

diff --git a/src/hypervisor_check.ads b/src/hypervisor_check.ads
new file mode 100644
index 0000000..35a22cd
--- /dev/null
+++ b/src/hypervisor_check.ads
@@ -0,0 +1,16 @@
+with Interfaces; use Interfaces;
+with System.Machine_Code; use System.Machine_Code;
+with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
+
+package Hypervisor_Check is
+
+    Hypervisor_Leaf : constant := 16#40000000#;
+    type CPUID_Registers is array (1 .. 4) of Unsigned_32;
+
+    function CPUID (Arg : Unsigned_32) return CPUID_Registers;
+
+    function String_of_U32 (Arg : Unsigned_32) return Unbounded_String;
+
+    function Get_Vendor_String return Unbounded_String;
+
+end Hypervisor_Check;