Jump to letter: [
DEGISX
]
xen-ocaml - Ocaml libraries for Xen tools
- Description:
This package contains libraries for ocaml tools to manage Xen
virtual machines.
Packages
xen-ocaml-4.8.5-1.choon.el7.x86_64
[544 KiB] |
Changelog
by Giam Teck Choon (2020-03-13):
- Upgrade to RELEASE-4.8.5
|
xen-ocaml-4.8.4-1.choon.el7.x86_64
[544 KiB] |
Changelog
by Giam Teck Choon (2018-07-13):
- Drop all Patch 3xxx series
- Upgrade to RELEASE-4.8.4
|
xen-ocaml-4.8.3-3.choon.el7.x86_64
[451 KiB] |
Changelog
by Giam Teck Choon (2018-04-17):
- Add Patch3052: upstream-0052-xen-arm-vgic-Make-sure-the-number-of-SPIs-is-a-multi.patch
- Add Patch3053: upstream-0053-xen-arm-Flush-TLBs-before-turning-on-the-MMU-to-avoi.patch
- Add Patch3054: upstream-0054-x86-emul-Fix-the-emulation-of-invlpga.patch
- Add Patch3055: upstream-0055-x86-NMI-invert-condition-in-nmi_show_execution_state.patch
- Add Patch3056: upstream-0056-x86-reduce-Meltdown-band-aid-IPI-overhead.patch
- Add Patch3057: upstream-0057-x86-srat-fix-the-end-pfn-check-in-valid_numa_range.patch
- Add Patch3058: upstream-0058-x86-spec_ctrl-Fix-several-bugs-in-SPEC_CTRL_ENTRY_FR.patch
- Add Patch3059: upstream-0059-x86-emul-Fix-the-decoding-of-segment-overrides-in-64.patch
- Add Patch3060: upstream-0060-x86-entry-Use-32bit-xors-rater-than-64bit-xors-for-c.patch
- Add Patch3061: upstream-0061-x86-srat-fix-end-calculation-in-nodes_cover_memory.patch
- Add Patch3062: upstream-0062-x86-nmi-start-NMI-watchdog-on-CPU0-after-SMP-bootstr.patch
- Add Patch3063: upstream-0063-x86-pv-Avoid-leaking-other-guests-MSR_TSC_AUX-values.patch
- Add Patch3064: upstream-0064-grant-Release-domain-lock-on-map-path-in-cache_flush.patch
- Add Patch3065: upstream-0065-x86-PV-fix-off-by-one-in-I-O-bitmap-limit-check.patch
- Add Patch3066: upstream-0066-x86-HVM-don-t-give-the-wrong-impression-of-WRMSR-suc.patch
- Add Patch3067: upstream-0067-libxl-arm-Fix-build-on-arm64-acpi.patch
- Add Patch3068: upstream-0068-x86-ignore-guest-microcode-loading-attempts.patch
- Add Patch3069: upstream-0069-x86-apicv-fix-wrong-IPI-suppression-during-posted-in.patch
- Add Patch3070: upstream-0070-x86-xpti-Hide-almost-all-of-.text-and-all-.data-.rod.patch
- Add Patch3071: upstream-0071-x86-xpti-don-t-map-stack-guard-pages.patch
- Add Patch3072: upstream-0072-x86-slightly-reduce-Meltdown-band-aid-overhead.patch
- Add Patch3073: upstream-0073-x86-remove-CR-reads-from-exit-to-guest-path.patch
- Add Patch3074: upstream-0074-cpufreq-ondemand-fix-race-while-offlining-CPU.patch
- Add Patch3075: upstream-0075-x86-vlapic-clear-TMR-bit-upon-acceptance-of-edge-tri.patch
- Add Patch3076: upstream-0076-x86-Move-microcode-loading-earlier.patch
- Add Patch3077: upstream-0077-x86-PV-also-cover-Dom0-in-SPEC_CTRL-PRED_CMD-emulati.patch
- Add Patch3078: upstream-0078-x86-emul-Fix-backport-of-x86-emul-Fix-the-decoding-o.patch
|
xen-ocaml-4.8.3-2.choon.el7.x86_64
[448 KiB] |
Changelog
by Giam Teck Choon (2018-03-06):
- Add Patch3001: upstream-0001-xen-arm-Introduce-enable-callback-to-enable-a-capabi.patch
- Add Patch3002: upstream-0002-xen-arm64-Add-missing-MIDR-values-for-Cortex-A72-A73.patch
- Add Patch3003: upstream-0003-xen-arm-cpuerrata-Add-MIDR_ALL_VERSIONS.patch
- Add Patch3004: upstream-0004-xen-arm64-Add-skeleton-to-harden-the-branch-predicto.patch
- Add Patch3005: upstream-0005-xen-arm64-Implement-branch-predictor-hardening-for-a.patch
- Add Patch3006: upstream-0006-xen-arm32-entry-Consolidate-DEFINE_TRAP_ENTRY_-macro.patch
- Add Patch3007: upstream-0007-xen-arm32-Add-missing-MIDR-values-for-Cortex-A17-and.patch
- Add Patch3008: upstream-0008-xen-arm32-entry-Add-missing-trap_reset-entry.patch
- Add Patch3009: upstream-0009-xen-arm32-Add-skeleton-to-harden-branch-predictor-al.patch
- Add Patch3010: upstream-0010-xen-arm32-Invalidate-BTB-on-guest-exit-for-Cortex-A1.patch
- Add Patch3011: upstream-0011-xen-arm32-Invalidate-icache-on-guest-exist-for-Corte.patch
- Add Patch3012: upstream-0012-xen-arm32-entry-Document-the-purpose-of-r11-in-the-t.patch
- Add Patch3013: upstream-0013-x86-Avoid-corruption-on-migrate-for-vcpus-using-CPUI.patch
- Add Patch3014: upstream-0014-x86-alt-Break-out-alternative-asm-into-a-separate-he.patch
- Add Patch3016: upstream-0016-x86-alt-Introduce-ALTERNATIVE-_2-macros.patch
- Add Patch3017: upstream-0017-x86-hvm-Rename-update_guest_vendor-callback-to-cpuid.patch
- Add Patch3018: upstream-0018-x86-Introduce-a-common-cpuid_policy_updated.patch
- Add Patch3019: upstream-0019-x86-entry-Rearrange-RESTORE_ALL-to-restore-register-.patch
- Add Patch3020: upstream-0020-x86-hvm-Use-SAVE_ALL-to-construct-the-cpu_user_regs-.patch
- Add Patch3021: upstream-0021-x86-entry-Erase-guest-GPR-state-on-entry-to-Xen.patch
- Add Patch3022: upstream-0022-common-wait-Clarifications-to-wait-infrastructure.patch
- Add Patch3023: upstream-0023-x86-Support-compiling-with-indirect-branch-thunks.patch
- Add Patch3024: upstream-0024-x86-Support-indirect-thunks-from-assembly-code.patch
- Add Patch3025: upstream-0025-x86-boot-Report-details-of-speculative-mitigations.patch
- Add Patch3026: upstream-0026-x86-amd-Try-to-set-lfence-as-being-Dispatch-Serialis.patch
- Add Patch3027: upstream-0027-x86-Introduce-alternative-indirect-thunks.patch
- Add Patch3028: upstream-0028-x86-feature-Definitions-for-Indirect-Branch-Controls.patch
- Add Patch3029: upstream-0029-x86-cmdline-Introduce-a-command-line-option-to-disab.patch
- Add Patch3030: upstream-0030-x86-acpi-process-softirqs-while-printing-CPU-ACPI-da.patch
- Add Patch3031: upstream-0031-x86-fix-GET_STACK_END.patch
- Add Patch3032: upstream-0032-x86-cpuid-Handling-of-IBRS-IBPB-STIBP-and-IBRS-for-g.patch
- Add Patch3033: upstream-0033-x86-msr-Emulation-of-MSR_-SPEC_CTRL-PRED_CMD-for-gue.patch
- Add Patch3034: upstream-0034-x86-migrate-Move-MSR_SPEC_CTRL-on-migrate.patch
- Add Patch3035: upstream-0035-x86-hvm-Permit-guests-direct-access-to-MSR_-SPEC_CTR.patch
- Add Patch3036: upstream-0036-x86-entry-Organise-the-use-of-MSR_SPEC_CTRL-at-each-.patch
- Add Patch3037: upstream-0037-x86-entry-Organise-the-clobbering-of-the-RSB-RAS-on-.patch
- Add Patch3038: upstream-0038-x86-entry-Avoid-using-alternatives-in-NMI-MC-paths.patch
- Add Patch3039: upstream-0039-x86-boot-Calculate-the-most-appropriate-BTI-mitigati.patch
- Add Patch3040: upstream-0040-x86-ctxt-Issue-a-speculation-barrier-between-vcpu-co.patch
- Add Patch3041: upstream-0041-x86-cpuid-Offer-Indirect-Branch-Controls-to-guests.patch
- Add Patch3042: upstream-0042-x86-idle-Clear-SPEC_CTRL-while-idle.patch
- Add Patch3043: upstream-0043-tools-kdd-don-t-use-a-pointer-to-an-unaligned-field.patch
- Add Patch3044: upstream-0044-xen-arm-cpuerrata-Actually-check-errata-on-non-boot-.patch
- Add Patch3045: upstream-0045-x86-PV-correctly-count-MSRs-to-migrate.patch
- Add Patch3046: upstream-0046-memory-don-t-implicitly-unpin-for-decrease-reservati.patch
- Add Patch3047: upstream-0047-gnttab-ARM-don-t-corrupt-shared-GFN-array.patch
- Add Patch3048: upstream-0048-gnttab-don-t-blindly-free-status-pages-upon-version-.patch
- Add Patch3049: upstream-0049-x86-hvm-Disallow-the-creation-of-HVM-domains-without.patch
- Add Patch3050: upstream-0050-tools-libxc-Avoid-generating-inappropriate-zero-cont.patch
- Add Patch3051: upstream-0051-tools-libxc-Fix-restoration-of-PV-MSRs-after-migrate.patch
|
xen-ocaml-4.8.3-1.choon.el7.x86_64
[444 KiB] |
Changelog
by Giam Teck Choon (2018-01-23):
- Update to 4.8.3
|
xen-ocaml-4.8.2-9.choon.el7.x86_64
[444 KiB] |
Changelog
by Giam Teck Choon (2017-10-26):
- Import XSA 236
|