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
Backed out changeset b6f239031d2f
[virt-mem.git]
/
uname
/
virt_uname.ml
diff --git
a/uname/virt_uname.ml
b/uname/virt_uname.ml
index
14a8bcc
..
fff6d7f
100644
(file)
--- a/
uname/virt_uname.ml
+++ b/
uname/virt_uname.ml
@@
-49,16
+49,20
@@
let () =
with
Not_found -> str
in
with
Not_found -> str
in
+ (* Expect the first (sysname) field to always be "Linux", which is
+ * also a good way to tell if we're synchronized to the right bit of
+ * memory.
+ *)
bitmatch bs with
bitmatch bs with
- | {
sysname
: 65*8 : string;
+ | {
"Linux\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
: 65*8 : string;
nodename : 65*8 : string;
release : 65*8 : string;
version : 65*8 : string;
machine : 65*8 : string;
domainname : 65*8 : string } ->
nodename : 65*8 : string;
release : 65*8 : string;
version : 65*8 : string;
machine : 65*8 : string;
domainname : 65*8 : string } ->
- printf "%s:
%s
%s %s %s %s %s\n"
+ printf "%s:
Linux
%s %s %s %s %s\n"
name
name
- (truncate
sysname) (truncate
nodename) (truncate release)
+ (truncate nodename) (truncate release)
(truncate version) (truncate machine) (truncate domainname)
| { _ } ->
eprintf (f_"%s: unexpected system_utsname in kernel image\n")
(truncate version) (truncate machine) (truncate domainname)
| { _ } ->
eprintf (f_"%s: unexpected system_utsname in kernel image\n")