summaryrefslogtreecommitdiff
path: root/src
ModeNameSize
-rw-r--r--config.ads.in1031logplain
-rw-r--r--hvinfo.adb5271logplain
-rw-r--r--hvinfo_util.adb1632logplain
-rw-r--r--hvinfo_util.ads1061logplain
-rw-r--r--hypervisor_check.adb8808logplain
-rw-r--r--hypervisor_check.ads3725logplain