xen-ocaml-devel - Ocaml development libraries for Xen tools

Property Value
Distribution Fedora 27
Repository Fedora Updates i386
Package filename xen-ocaml-devel-4.9.3-3.fc27.i686.rpm
Package name xen-ocaml-devel
Package version 4.9.3
Package release 3.fc27
Package architecture i686
Package type rpm
Homepage -
License -
Maintainer -
Download size 183.57 KB
Installed size 378.42 KB
This package contains libraries for developing ocaml tools to
manage Xen virtual machines.


Package Version Architecture Repository
xen-ocaml-devel-4.9.3-3.fc27.i686.rpm 4.9.3 i686 Fedora Updates
xen-ocaml-devel-4.9.3-3.fc27.x86_64.rpm 4.9.3 x86_64 Fedora Updates
xen-ocaml-devel-4.9.0-11.fc27.x86_64.rpm 4.9.0 x86_64 Fedora
xen-ocaml-devel-4.9.0-11.fc27.i686.rpm 4.9.0 i686 Fedora
xen-ocaml-devel-4.9.0-11.fc27.i686.rpm 4.9.0 i686 Fedora
xen-ocaml-devel - - -


Name Value
xen-ocaml = 4.9.3-3.fc27


Name Value
xen-ocaml-devel = 4.9.3-3.fc27
xen-ocaml-devel(x86-32) = 4.9.3-3.fc27


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package xen-ocaml-devel-4.9.3-3.fc27.i686.rpm
Source Package xen-4.9.3-3.fc27.src.rpm

Install Howto

Install xen-ocaml-devel rpm package:

# dnf install xen-ocaml-devel




2018-11-06 - Michael Young <m.a.young@durham.ac.uk> - 4.9.3-3
- guest use of HLE constructs may lock up host [XSA-282]
2018-10-25 - Michael Young <m.a.young@durham.ac.uk> - 4.9.3-2
- x86: Nested VT-x usable even when disabled [XSA-278, CVE-2018-18883]
2018-09-25 - Michael Young <m.a.young@durham.ac.uk> - 4.9.3-1
- update to 4.9.3
adjust xen.use.fedora.ipxe.patch
remove patches for issues now fixed upstream
2018-08-15 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-7
- L1 Terminal Fault speculative side channel patch bundle [XSA-273,
CVE-2018-3620, CVE-2018-3646]
drop patches also in the bundle, which also includes
Use of v2 grant tables may cause crash on ARM [XSA-268, CVE-2018-15469]
x86: Incorrect MSR_DEBUGCTL handling lets guests enable BTS [XSA-269,
CVE-2018-15468] (#1616077)
oxenstored does not apply quota-maxentity [XSA-272, CVE-2018-15470]
2018-06-27 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-6
- preemption checks bypassed in x86 PV MM handling [XSA-264, CVE-2018-12891]
- x86: #DB exception safety check can be triggered by a guest [XSA-265,
CVE-2018-12893] (#1595958)
- libxl fails to honour readonly flag on HVM emulated SCSI disks [XSA-266,
CVE-2018-12892] (#1595957)
2018-06-16 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-5
- Speculative register leakage from lazy FPU context switching
[XSA-267, CVE-2018-3665]
- fix for change in iasl output
2018-05-22 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-4
- Speculative Store Bypass [XSA-263, CVE-2018-3639]
(with extra patches so it applies cleanly)
2018-05-09 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-3
- x86: mishandling of debug exceptions [XSA-260, CVE-2018-8897]
(with extra patch so it applies cleanly)
- x86 vHPET interrupt injection errors [XSA-261, CVE-2018-10982] (#1576089)
- qemu may drive Xen into unbounded loop [XSA-262, CVE-2018-10981] (#1576680)
2018-04-25 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-2
- Information leak via crafted user-supplied CDROM [XSA-258] (#1571867)
- x86: PV guest may crash Xen with XPTI [XSA-259] (#1571878)
2018-04-04 - Michael Young <m.a.young@durham.ac.uk> - 4.9.2-1
- update to 4.9.2
adjust xen.use.fedora.ipxe.patch
remove patches for issues now fixed upstream

See Also

Package Description
xen-runtime-4.9.3-3.fc27.i686.rpm Core Xen runtime environment
xfburn-0.5.5-1.fc27.i686.rpm Simple CD burning tool for Xfce
xfce4-dict-0.8.1-1.fc27.i686.rpm A Dictionary Client for the Xfce desktop environment
xfce4-dict-plugin-0.8.1-1.fc27.i686.rpm Xfce panel plugin to query a Dict server
xfce4-genmon-plugin-4.0.1-1.fc27.i686.rpm Generic monitor plugin for the Xfce panel
xfce4-notifyd-0.4.2-2.fc27.i686.rpm Simple notification daemon for Xfce
xfce4-power-manager-1.6.1-1.fc27.i686.rpm Power management for the Xfce desktop environment
xfce4-pulseaudio-plugin-0.4.0-1.fc27.i686.rpm Pulseaudio plugin for Xfce4
xfce4-screenshooter-1.9.3-1.fc27.i686.rpm Screenshot utility for the Xfce desktop
xfce4-screenshooter-plugin-1.9.3-1.fc27.i686.rpm Screenshot utility for the Xfce panel
xfce4-settings-4.12.4-1.fc27.i686.rpm Settings Manager for Xfce
xfce4-statusnotifier-plugin-0.2.1-1.fc27.i686.rpm Panel area status notifier plugin for Xfce4
xfce4-taskmanager-1.2.1-1.fc27.i686.rpm Taskmanager for the Xfce desktop environment
xfce4-terminal- Terminal Emulator for the Xfce Desktop environment
xfce4-verve-plugin-1.1.1-1.fc27.i686.rpm Comfortable command line plugin for the Xfce panel