Edwin Török faf02c345e tools/oxenstored: Backport find_opt/update from 4.06 ...

We are currently on OCaml 4.02 as minimum version.  To make the followup
optimizations compile backport these functions from OCaml 4.06.

This implementation is less efficient than the one in the 4.06 standard
library which has access to the internals of the Map.

Signed-off-by: Edwin Török <edvin.torok@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>

2021-01-22 18:01:34 +00:00

..

console

tools: drop all deprecated usages of xs_*_open() and friends in tools

2020-10-08 12:47:59 +00:00

debugger

tools/gdbsx: Use right path for privcmd on NetBSD

2021-01-18 19:07:37 +00:00

examples

examples: Add PVH example to config example list

2020-12-15 15:51:58 +00:00

firmware

tools: ipxe: update for fixing build with GCC10

2021-01-05 12:33:55 +00:00

flask

xen/xsm: Drop xsm_hvm_param_nested()

2020-10-06 12:28:37 +01:00

fuzz

x86emul: fix test harness and fuzzer build dependencies

2019-09-10 16:35:09 +02:00

golang

golang/xenlight: Refresh generated files after recent libxl changes

2021-01-22 14:28:44 +00:00

helpers

tools/helpers: fix Arm build by excluding init-xenstore-domain

2020-10-26 11:04:59 +00:00

hotplug

tools/xenbackendd: Remove xenbackendd

2021-01-18 18:58:20 +00:00

include

libxl: add 'name' field to 'libxl_device_pci' in the IDL...

2021-01-21 15:20:40 +00:00

libacpi

libxl: fix libacpi dependency

2020-11-05 16:48:55 +01:00

libfsimage

tools: bump library version numbers

2020-08-14 20:21:25 +00:00

libs

tools/libxenstat: Fix infinite loop when QEMU dies

2021-01-22 14:28:44 +00:00

misc

tools: Move memshrtool from tests/ to misc/

2021-01-13 19:30:50 +00:00

ocaml

tools/oxenstored: Backport find_opt/update from 4.06

2021-01-22 18:01:34 +00:00

pygrub

tools/python: Pass linker to Python build process

2020-10-16 13:25:35 +00:00

python

tools/python: pass more -rpath-link options to ld

2020-11-05 16:48:37 +01:00

tests

tools: Move memshrtool from tests/ to misc/

2021-01-13 19:30:50 +00:00

vchan

tools: split libxenvchan into new tools/libs/vchan directory

2020-09-09 10:57:25 +00:00

xcutils

tools/xcutils: use official headers in readnotes

2020-09-09 10:57:25 +00:00

xenmon

tools: Use INSTALL_PYTHON_PROG

2020-05-19 11:40:53 +01:00

xenpaging

tools/xenpaging: include errno.h

2021-01-18 18:58:20 +00:00

xenpmd

tools/xenpmd: Fix gcc10 snprintf warning

2020-10-16 13:28:55 +00:00

xenstore

tools/xenstore: fix unsigned < 0 compare in xenstore_control

2021-01-22 11:35:18 +00:00

xentop

tools: split libxenstat into new tools/libs/stat directory

2020-09-09 10:57:25 +00:00

xentrace

credit2: fix credit reset happening too few times

2020-04-03 10:46:53 +02:00

xl

tools/xl: use proper name for bash_completion file

2021-01-22 14:28:44 +00:00

config.h.in

libxl: use vchan for QMP access with Linux stubdomain

2020-05-19 16:19:15 +01:00

configure

NetBSD: Fix lock directory path

2021-01-15 15:31:56 +00:00

configure.ac

tools/libxl: move libxenlight to tools/libs/light

2020-10-01 13:26:09 +02:00

cross-install

…

Makefile

tools/xenbackendd: Remove xenbackendd

2021-01-18 18:58:20 +00:00

Rules.mk

tools/libs: move official headers to common directory

2020-10-23 15:50:51 +01:00