1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
(* virt-v2v
* Copyright (C) 2020 Red Hat Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*)
open Std_utils
open Tools_utils
open Common_gettext.Gettext
(* Singleton DB, created on the first access. *)
let db = lazy (new Libosinfo.osinfo_db ())
(*
* Helper function to get the DB -- use it as sole way to get the DB.
*)
let get_db () =
Lazy.force db
let get_os_by_short_id os =
match (get_db ())#find_os_by_short_id os with
| Some os -> debug "libosinfo: loaded OS: %s" (os#get_id ()); Some os
| None -> None
let string_of_osinfo_device_list dev_list =
(* Turn the fields of an "osinfo_device" record into a list. *)
let listify { Libosinfo.id; vendor; vendor_id; product; product_id; name;
class_; bus_type; subsystem } =
[ id; vendor; vendor_id; product; product_id; name;
class_; bus_type; subsystem ]
(* Given a list of strings, and a list of previously known maximum widths,
* "increase" each width, if necessary, to the length of the corresponding
* string.
*)
and grow_widths = List.map2 (fun s -> max (String.length s))
in
(* Compute the maximum width for each field in "dev_list". *)
let max_widths =
List.fold_right grow_widths (List.map listify dev_list)
[ 0; 0; 0; 0; 0; 0; 0; 0; 0 ]
(* Given a list of strings and a list of field widths, format "string1 |
* string2 | ... | stringN" such that each field is right-padded to the
* corresponding width.
*)
and columnate strings widths =
String.concat " | " (List.map2 (Printf.sprintf "%-*s") widths strings)
in
(* Format "dev_list" as a table by (a) printing one "osinfo_device" record
* per line, and (b) right-padding each field of each "osinfo_device" record
* to the maximum width of that field.
*)
String.concat "\n"
(List.map (fun dev -> columnate (listify dev) max_widths) dev_list)
let os_devices_supports_q35 devices =
List.exists
(fun { Libosinfo.id } -> id = "http://qemu.org/chipset/x86/q35") devices
let os_devices_supports_vio10 devices =
List.exists
(fun { Libosinfo.id } -> id = "http://pcisig.com/pci/1af4/1041") devices
|
