jonludlam

DkSDKFFIOCaml_Std.1.0.0~1
ISO3166.0.1.0
OCADml.0.1.0
OCADml.0.1.1
OCADml.0.1.2
OCADml.0.2.0
OCADml.0.2.1
OCADml.0.2.2
OCADml.0.3.1
OCADml.0.3.2

jonludlam

Package	ocamlfind library names
bap-beagle.1.4.0	bap-beagle-prey bap-plugin-beagle bap-plugin-strings
bap-beagle.1.5.0	bap-beagle-prey bap-plugin-beagle bap-plugin-strings
bap-beagle.2.2.0	bap-beagle-prey bap-plugin-beagle
bap-beagle.2.3.0	bap-beagle-prey bap-plugin-beagle
bap-primus-support.1.4.0	bap-plugin-primus_exploring bap-plugin-primus_greedy bap-plugin-primus_limit bap-plugin-primus_loader bap-plugin-primus_mark_visited bap-plugin-primus_print bap-plugin-primus_promiscuous bap-plugin-primus_round_robin bap-plugin-primus_wandering
bap-primus-support.1.5.0	bap-plugin-primus_exploring bap-plugin-primus_greedy bap-plugin-primus_limit bap-plugin-primus_loader bap-plugin-primus_mark_visited bap-plugin-primus_print bap-plugin-primus_promiscuous bap-plugin-primus_round_robin bap-plugin-primus_wandering
bap-std.1.2.0	bap bap-build
bap-std.1.3.0	bap bap-build

jonludlam

Package	Unit	Archives
checkseum.0.5.2	Checkseum	checkseum_c checkseum_ocaml
binaryen.0.12.0	Binaryen	binaryen_js binaryen_native
binaryen.0.12.0	Binaryen__Element_segment	binaryen_js binaryen_native
binaryen.0.12.0	Binaryen__Export	binaryen_js binaryen_native
binaryen.0.12.0	Binaryen__Expression	binaryen_js binaryen_native
binaryen.0.12.0	Binaryen__Function	binaryen_js binaryen_native
binaryen.0.12.0	Binaryen__Global	binaryen_js binaryen_native
binaryen.0.12.0	Binaryen__Import	binaryen_js binaryen_native

jonludlam

# -*- mode: ruby -*-
# vi: set ft=ruby :

# All Vagrant configuration is done below. The "2" in Vagrant.configure
# configures the configuration version (we support older styles for
# backwards compatibility). Please don't change it unless you know what
# you're doing.
Vagrant.configure("2") do |config|
  config.vm.box = "boxcutter/ubuntu1604-desktop"

jonludlam

Create the following file, called 'yum.conf':

[trunk-ring3]
name = trunk-ring3
enabled = 1
baseurl = http://coltrane.uk.xensource.com/usr/groups/build/trunk-ring3/latest/binary-packages/RPMS/domain0/RPMS
gpgcheck = 0

[main]

jonludlam

module Smapi_limiter = struct
  let limit = ref 10
  let m = Mutex.create ()
  let c = Condition.create ()

  let set_limit n = limit := n

  let get_token () =
    Mutex.execute m (fun () ->
        while !limit=0 do

jonludlam

New year, new way to develop for XenServer!

Building bits of XenServer outside of Citrix has in the past been a
bit of a challenging task, requiring careful construction of the build
environment to replicate what 'XenBuilder', our internal build system,
puts together. This has meant using custom DDK VMs or carefully
installing by hand a set of packages taken from one of the XenServer
ISOs. With XenServer Dundee, this will be a pain of the past, and a
making build environment will be just a 'docker run' away.

jonludlam

The purpose of this part of the CAR is to improve the reliability and
robustness of the XenVM component of the Thin LVHD feature. This will
be achieved by three main activities: Expanding the existing
dev-tests, implementing some new features and applying some formal
methods to prove models of how bits xenvmd works are correct.

Expanding dev tests:

There are already many dev tests being run on every single build and
pull request going into xenvm. Currently, these mainly cover the

jonludlam

[root@st28 ~]# lvs
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  WARNING: Failed to connect to lvmetad: No such file or directory. Falling back to internal scanning.
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  /run/lvm/lvmetad.socket: connect failed: No such file or directory
  /run/lvm/lvmetad.socket: connect failed: No such file or directory

jonludlam

futex(0x9f5e64, FUTEX_WAIT_PRIVATE, 21958084, NULL) = 0
futex(0x9f5e20, FUTEX_WAIT_PRIVATE, 2, NULL) = -1 EAGAIN (Resource temporarily unavailable)
futex(0x9f5e20, FUTEX_WAKE_PRIVATE, 1)  = 0
read(7, "rased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2733-toLVM volumexenvmd erased the 8d7f006d-681f-42a2-99a8-76a3822e2", 512) = 512
rt_sigprocmask(SIG_SETMASK, ~[RTMIN RT_1], ~[KILL STOP RTMIN RT_1], 8) = 0
write(3, "\1\0\0\0\0\0\0\0", 8)         = 8
rt_sigprocmask(SIG_SETMASK, ~[KILL STOP RTMIN RT_1], NULL, 8) = 0
futex(0x9f5e64, FUTEX_WAIT_PRIVATE, 21958088, NULL) = 0
futex(0x9f5e20, FUTEX_WAIT_PRIVATE, 2, NULL) = -1 EAGAIN