git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Finish static approach in favour of a simpler, more dynamic version.
[virt-mem.git]
/
uname
/
virt_uname.ml
diff --git
a/uname/virt_uname.ml
b/uname/virt_uname.ml
index
d90974d
..
4b38d4c
100644
(file)
--- a/
uname/virt_uname.ml
+++ b/
uname/virt_uname.ml
@@
-28,8
+28,8
@@
let run debug { domname = domname } { utsname = utsname } =
| Some u ->
printf "%s: %s %s %s %s %s %s\n"
domname
| Some u ->
printf "%s: %s %s %s %s %s %s\n"
domname
- u.
kernel_name u.nodename u.
kernel_release
- u.
kernel_version u.machine u.
domainname
+ u.
uts_kernel_name u.uts_nodename u.uts_
kernel_release
+ u.
uts_kernel_version u.uts_machine u.uts_
domainname
| None ->
eprintf (f_"%s: no system_utsname in kernel image\n") domname
| None ->
eprintf (f_"%s: no system_utsname in kernel image\n") domname