d870f0e26e
guests operating systems on a single machine. Guest OSes (also called "domains") require a modified kernel which supports Xen hypercalls in replacement to access to the physical hardware. At boot, the xen kernel is loaded along with the guest kernel for the first domain (called domain0). domain0 has privileges to access the physical hardware (PCI and ISA devices), administrate other domains and provide virtual devices (disks and network) to other domains. xenkernel45 and xentools45 contains the kernel and tools from the Xen 4.5.x branch
20 lines
681 B
OCaml
20 lines
681 B
OCaml
$NetBSD: patch-ocaml_xenstored_define.ml,v 1.1 2015/01/20 16:42:13 bouyer Exp $
|
|
|
|
--- ocaml/xenstored/define.ml.orig 2015-01-12 17:53:24.000000000 +0100
|
|
+++ ocaml/xenstored/define.ml 2015-01-19 13:16:38.000000000 +0100
|
|
@@ -17,13 +17,13 @@
|
|
let xenstored_major = 1
|
|
let xenstored_minor = 0
|
|
|
|
-let xenstored_proc_kva = "/proc/xen/xsd_kva"
|
|
+let xenstored_proc_kva = "@PROCDEV@/xsd_kva"
|
|
let xenstored_proc_port = "/proc/xen/xsd_port"
|
|
|
|
let xs_daemon_socket = "/var/run/xenstored/socket"
|
|
let xs_daemon_socket_ro = "/var/run/xenstored/socket_ro"
|
|
|
|
-let default_config_dir = "/etc/xen"
|
|
+let default_config_dir = "@XENDCONFDIR@"
|
|
|
|
let maxwatch = ref (50)
|
|
let maxtransaction = ref (20)
|