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

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-xen-devel-4.12.0-2.mga7.i586.rpm
Package name ocaml-xen-devel
Package version 4.12.0
Package release 2.mga7
Package architecture i586
Package type rpm
Category Development/Other
Homepage http://xen.org/
License GPLv2
Maintainer -
Download size 311.87 KB
Installed size 838.96 KB
This package contains libraries for developing ocaml tools to
manage Xen virtual machines.


Package Version Architecture Repository
ocaml-xen-devel-4.12.0-2.mga7.x86_64.rpm 4.12.0 x86_64 Mageia Core
ocaml-xen-devel - - -


Name Value
xen-devel = 4.12.0-2.mga7


Name Value
ocaml-xen-devel = 4.12.0-2.mga7
ocaml-xen-devel(x86-32) = 4.12.0-2.mga7


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-xen-devel-4.12.0-2.mga7.i586.rpm
Source Package xen-4.12.0-2.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-xen-devel rpm package:
    # dnf install ocaml-xen-devel




2019-05-15 - tv <tv> 4.12.0-2.mga7
+ Revision: 1397871
- Microarchitectural Data Sampling speculative side channel [XSA-297,
CVE-2018-12126, CVE-2018-12127, CVE-2018-12130, CVE-2019-11091]
- additional patches so above applies cleanly
2019-04-14 - tv <tv> 4.12.0-1.mga7
+ Revision: 1389949
- reeable i586 but disable cross compiling hypervisor for now
- fix filelist for aarch64
- temporary disable i586
- update to 4.12.0
- remove patches for issues now fixed upstream
- replace xen.use.fedora.ipxe.patch with --with-system-ipxe
- drop xen.glibcfix.patch xen.gcc8.temp.fix.patch which are no longer needed
- rediff patches
- xen.hypervisor.config refresh
- kdd is now xen-kdd, xenmon.py is now xenmon, fsimage.so is now xenfsimage.so
fs libdir is now xenfsimage libdir
- xen-ringwatch xen-bugtool have been dropped
- remove remaining traces of efiming and efi_flags logic
- switch from python2 to python3
2019-03-06 - tv <tv> 4.11.1-1.mga7
+ Revision: 1372036
- enable to disable building docs
- update to 4.11.1
- construct ovmf.bin from edk2-ovmf package (rhbz#1656651)
- xen: various flaws (rhbz#1685577)
grant table transfer issues on large hosts [XSA-284]
race with pass-through device hotplug [XSA-285]
x86: steal_page violates page_struct access discipline [XSA-287]
x86: Inconsistent PV IOMMU discipline [XSA-288]
missing preemption in x86 PV page table unvalidation [XSA-290]
x86/PV: page type reference counting issue with failed IOMMU update [XSA-291]
x86: insufficient TLB flushing when using PCID [XSA-292]
x86: PV kernel context switch corruption [XSA-293]
x86 shadow: Insufficient TLB flushing when using PCID [XSA-294]
remove patches for issues now fixed upstream
adjust xen.use.fedora.ipxe.patch
2018-11-22 - tv <tv> 4.11.0-9.mga7
+ Revision: 1333165
- insufficient TLB flushing / improper large page mappings with AMD IOMMUs
[XSA-275] (#1651665)
- x86: DoS from attempting to use INVPCID with a non-canonical addresses
[XSA-279] (#1651970)
- xen: various flaws (#1652251)
resource accounting issues in x86 IOREQ server handling [XSA-276]
x86: incorrect error handling for guest p2m page removals [XSA-277]
Fix for XSA-240 conflicts with shadow paging [XSA-280]
2018-11-07 - tv <tv> 4.11.0-8.mga7
+ Revision: 1328822
- guest use of HLE constructs may lock up host [XSA-282]
2018-11-03 - pterjan <pterjan> 4.11.0-7.mga7
+ Revision: 1327850
- Only require grub on architectures where it exists
- Kill old Requires on glibc-xen
2018-10-30 - tv <tv> 4.11.0-6.mga7
+ Revision: 1326740
- x86: Nested VT-x usable even when disabled [XSA-278, CVE-2018-18883] (rhbz#1643118)
2018-10-25 - wally <wally> 4.11.0-5.mga7
+ Revision: 1325485
- fix build on i586
- update file list for arm/aarch64
+ daviddavid <daviddavid>
- rebuild for new ocaml 4.07.1
+ tv <tv>
- set /usr/bin/python2 at the start of another python script
- reenable EFI images now that we've fixed binutils
- BR libfdt-devel on arm
2018-09-13 - tv <tv> 4.11.0-2.mga7
+ Revision: 1258876
- temporary unlist missing efi images
- set properly libexecdir on ix86
- sync patches with FC
- fix build on ix86
- 4.11.0
- replace use of deprecated brctl command (rhbz#1588712)
- Speculative register leakage from lazy FPU context switching
2018-05-31 - tv <tv> 4.10.1-2.mga7
+ Revision: 1233265
- fix build with glibc 2.27
- Speculative Store Bypass [XSA-263, CVE-2018-3639]
(with extra patches so it applies cleanly)

See Also

Package Description
ocaml-xhtml-20050620-16.mga7.i586.rpm OCaml module for creating valid XHTML 1.1 documents
ocaml-xhtml-devel-20050620-16.mga7.i586.rpm Development files for ocaml-xhtml
ocaml-xml-light-2.4-11.mga7.i586.rpm Minimal XML parser & printer for OCaml
ocaml-xml-light-devel-2.4-11.mga7.i586.rpm Development files for ocaml-xml-light
ocaml-xmlm-1.3.0-3.mga7.i586.rpm Streaming XML input/output for OCaml
ocaml-xmlm-devel-1.3.0-3.mga7.i586.rpm Development files for ocaml-xmlm
ocaml-yojson-1.4.1-5.mga7.i586.rpm An optimized parsing and printing library for the JSON format
ocaml-yojson-devel-1.4.1-5.mga7.i586.rpm Development files for ocaml-yojson
ocaml-zarith-1.7-4.mga7.i586.rpm Arithmetic and logical operations over arbitrary-precision integers
ocaml-zarith-devel-1.7-4.mga7.i586.rpm Development files for ocaml-zarith
ocaml-zed-1.6-5.mga7.i586.rpm Abstract engine for text edition in OCaml (development tools)
ocaml-zed-devel-1.6-5.mga7.i586.rpm Development files for ocaml-zed
ocamldsort-0.16.0-10.mga7.i586.rpm A dependency sorter for OCaml source files
ocamlfuse-2.7.1-6.mga7.i586.rpm Ocaml FUSE binding
ocamlify-0.0.2-12.mga7.i586.rpm Include files in OCaml code