defined(__i386__) || defined(__x86_64__)
>
> /* Quick & dirty check for ABI changes. */
> - BUILD_BUG_ON(sizeof(cfg) != 64);
> + BUILD_BUG_ON(sizeof(cfg) != 68);
>
Acked-by: Christian Lindig
; CC: George Dunlap
> CC: Jan Beulich
> CC: Stefano Stabellini
> CC: Julien Grall
> CC: Christian Lindig
> CC: Edwin Török
Acked-by: Christian Lindig
| 5 -
> tools/xenstored/posix.c | 4 +-
> 13 files changed, 136 insertions(+), 277 deletions(-)
> create mode 100644 LICENSES/MIT-0
> create mode 100644 tools/include/xen-sd-notify.h
>
>
> base-commit: 977d98e67c2e929c62aa1f495fc4c6341c45abb5
> --
> 2.30.2
>
Acked-by: Christian Lindig
> On 25 Apr 2024, at 18:32, Andrew Cooper wrote:
>
> On advise from the systemd leadership. See patch 1 for details.
>
> Andrew Cooper (2):
> tools/{c,o}xenstored: Don't link against libsystemd
> tools: Drop libsystemd as a dependency
Acked-by: Christian Lindig
I a
-> append (k, "expect int arg")
> - | Failure "bool_of_string" -> append (k, "expect bool arg")
> - | Failure "float_of_string" -> append (k, "expect float arg")
> | exn -> append (k, Printexc.to_string exn)
> ) cf;
> if !err != [] then raise (Error !err)
> --
> 2.44.0
>
Acked-by: Christian Lindig
_FLAGS Field(arch_domconfig, 0)
> @@ -291,6 +293,7 @@ CAMLprim value stub_xc_domain_create(value xch_val, value
> wanted_domid, value co
> #undef VAL_MAX_GRANT_VERSION
> #undef VAL_MAX_MAPTRACK_FRAMES
> #undef VAL_MAX_GRANT_FRAMES
> +#undef VAL_MAX_ALTP2M
> #undef VAL_MAX_EVTCHN_PORT
> #undef VAL_MAX_VCPUS
> #undef VAL_IOMMU_OPTS
> --
> 2.34.1
>
This looks correct from an OCaml perspective.
Acked-by: Christian Lindig
> On 27 Mar 2024, at 14:42, Andrew Cooper wrote:
>
> On 27/03/2024 2:06 pm, Jan Beulich wrote:
>> On 27.03.2024 15:01, Andrew Cooper wrote:
>>> It occurs to me that these want considering:
>>>
>>> b6cf604207fd - tools/oxenstored: Use Map instead of Hashtbl for quotas
>>> 098d868e52ac -
> On 14 Feb 2024, at 11:45, Andrew Cooper wrote:
>
> Xapi is the only consumer of this interface. I've fixed up the build
> against staging, but we're not going to be running KFX under Xapi any
> time soon.
>
> Ultimately it's Christian's call.
After a discussion with Andrew, we will not
> On 7 Feb 2024, at 22:04, Petr Beneš wrote:
>
>
> Add the missing `vmtrace_buf_kb` field to the OCaml bindings to match the
> vm.cfg configuration, correcting an oversight from its initial introduction.
>
> Signed-off-by: Petr Beneš
Acked-by: Christian Lindig
Th
> On 31 Jan 2024, at 10:52, Edwin Török wrote:
>
> Now that we no longer have a hashtable inside we can make Quota.t pure,
> and push the mutable update to its callers.
> Store.t already had a mutable Quota.t field.
>
> No functional change.
Acked-by: Christian Lind
/configure.ac| 2 +-
> tools/ocaml/xenstored/disk.ml | 2 +-
> 3 files changed, 3 insertions(+), 3 deletions(-)
>
> --
> 2.43.0
>
Acked-by: Christian Lindig
been removed. It didn't build since 2014, so nobody
>>> seems
>>> + to care.
>> May I suggest some different phrasing.
>> "caml-stubdom. It hasn't built since 2014, was pinned to Ocaml 4.02,
>> and has been superseded by the MirageOS/SOLO5 projects."
>
> Fine with me.
>
>
> Juergen
>
Acked-by: Christian Lindig
I am fine with removing it as well.
— C
rch/x86/setup.c | 5 +++--
> xen/common/domain.c| 10 +-
> xen/drivers/passthrough/pci.c | 10 ++
> xen/include/public/arch-x86/xen.h | 5 +
> xen/include/public/domctl.h| 7 +--
> xen/include/xen/domain.h | 2 ++
> 20 files changed, 97 insertions(+), 31 deletions(-)
>
>
> base-commit: 9659b2a6d73b14620e187f9c626a09323853c459
> --
> 2.42.0
>
Acked-by: Christian Lindig
The changes for the OCaml part are incremental; is someone using the OCaml
bindings on ARM seriously?
— C
lags,
> and append the Xen specific CFLAGS to that instead.
>
> Drop the explicit -fPIC and -I$(ocamlc -where): these will now be provided by
> the compiler as needed.
>
> Use -verbose so we see the actuall full C compiler command line invocation
> done by the OCaml compiler.
>
> S
Acked-by: Christian Lindig
> On 24 Aug 2023, at 13:39, Andrew Cooper wrote:
>
> From: Edwin Török
>
> These were added to aid security development, and are useful generally for
> debugging.
>
> Signed-off-by: Edwin Török
> Signed-off-by: Andrew Cooper
> --
= 1; /* tag x86 */
>
> - arch_obj = Tag_cons;
> + arch_obj = Val_emptylist;
>
> #endif
>
> --
> 2.41.0
>
Acked-by: Christian Lindig
> On 9 Jun 2023, at 10:37, Andrew Cooper wrote:
>
> On 09/06/2023 9:17 am, Christian Lindig wrote:
>>> On 8 Jun 2023, at 20:33, Andrew Cooper wrote:
>>>
>>> +type arm_physinfo_caps =
>>> + {
>>> +sve_vl: int;
>>> + }
&g
> On 8 Jun 2023, at 20:33, Andrew Cooper wrote:
>
> +type arm_physinfo_caps =
> + {
> +sve_vl: int;
> + }
> +
Does the OCaml side need to know about the structure of this value or is it
enough to pass it around as an abstract value because all logic is on the C
side? I assume the
better off calling
> xc_domain_getinfo_single() instead, that will use the getdomaininfo domctl
> instead and ensure the returned domid matches the requested one. The domtctl
> will find the domid faster too, because that uses hashed lists.
>
> Signed-off-by: Alejandro Vallejo
Acked-by: Chris
t; Ocaml -safe-string constness bug in the same way as we've done elsewhere in
> Xen.
>
> Signed-off-by: Andrew Cooper
> ---
> CC: Christian Lindig
> CC: David Scott
> CC: Edwin Török
> CC: Rob Hoes
> ---
> tools/ocaml/libs/mmap/xenmmap.ml | 4 ++--
> tools
hich I read as #ifdef in my head.
Acked-by: Christian Lindig
— C
> On 17 Mar 2023, at 13:19, Luca Fancellu wrote:
>
>
> arch_cap_flags = caml_alloc_small(1, arch_cap_flags_tag);
> Store_field(arch_cap_flags, 0, arch_cap_list);
> Store_field(physinfo, 10, arch_cap_flags);
> +#elif defined(__aarch64__)
> + Store_field(physinfo, 10,
Acked-by: Christian Lindig
> On 15 Mar 2023, at 09:05, Luca Fancellu wrote:
>
> type arch_physinfo_cap_flags =
> - | ARM of arm_physinfo_cap_flag list
> + | ARM of int
> | X86 of x86_physinfo_cap_flag list
>
I notice that other capabilities are split into a list
secret leading up to an embargo, so extend the featureset
> sysctl to allow xen-cpuid to render them all nicely.
>
> Signed-off-by: Andrew Cooper
> ---
> CC: Jan Beulich
> CC: Roger Pau Monné
> CC: Wei Liu
> CC: Christian Lindig
> CC: David Scott
> CC:
t;
> Juergen Gross (4):
> tools: rename xen-tools/libs.h file to common-macros.h
> tools: add container_of() macro to xen-tools/common-macros.h
> tools: get rid of additional min() and max() definitions
> tools: add offsetof() to xen-tools/common-macros.h
Acked-by: Christian Lindig
h | 2 +-
> 46 files changed, 68 insertions(+), 105 deletions(-)
> rename tools/include/xen-tools/{libs.h => common-macros.h} (74%)
>
> --
> 2.35.3
>
Acked-by: Christian Lindig
/github.com/xapi-project/xen-api/commit/203292ebe0c487d7ae4adb961a6d080f4fbe933d
>>
>> owing to there having been no development of these bindings since 2014.
>>
>> In the unlikely event that we'd want to reinstate them, they'd need reworking
>> basically from scratch anyway.
>>
>>
owing to there having been no development of these bindings since 2014.
>
> In the unlikely event that we'd want to reinstate them, they'd need reworking
> basically from scratch anyway.
>
> Signed-off-by: Andrew Cooper
> ---
> CC: Christian Lindig
> CC: David Scott
> CC
Build system: Replace git:// and http:// with https://
> Automation and CI: Replace git:// and http:// with https://
> Miscellaneous and documentation: Only use TLS-protected transports
> GPL License Boilerplate: Switch from HTTP to HTTPS
Acked-by: Christian Lindig
45 ("tools/ocaml/xenctrl: OCaml 5 support, fix
> use-after-free")
> Fixes: 22d5affdf0ce ("tools/ocaml/evtchn: OCaml 5 support, fix potential
> resource leak")
> Signed-off-by: Andrew Cooper
> ---
> CC: Christian Lindig
> CC: David Scott
>
gt; tools/ocaml/libs/xb/xenbus_stubs.c| 5 +-
> tools/ocaml/libs/xc/xenctrl_stubs.c | 494 ++
> 5 files changed, 323 insertions(+), 273 deletions(-)
>
> --
> 2.11.0
>
Really pleased with the attention to this.
Acked-by: Christian Lindig
t;
> Signed-off-by: Andrew Cooper
> ---
> CC: Wei Liu
> CC: Anthony PERARD
> CC: Juergen Gross
> CC: Christian Lindig
> CC: David Scott
> CC: Edwin Torok
> CC: Rob Hoes
Acked-by: Christian Lindig
>
> Note: There is a marginal risk for a memory leak
> On 17 Jan 2023, at 13:53, Andrew Cooper wrote:
>
> Update libxl and the ocaml stubs to match. No API/ABI change in either.
>
> Signed-off-by: Andrew Cooper
Acked-by: Christian Lindig
> ---
> CC: Wei Liu
> CC: Anthony PERARD
> CC: Juergen Gross
> CC:
> On 17 Jan 2023, at 13:53, Andrew Cooper wrote:
>
> Update libxl and the ocaml stubs to match. No API/ABI change in either.
>
> Signed-off-by: Andrew Cooper
> ---
> CC: Wei Liu
> CC: Anthony PERARD
> CC: Juergen Gross
> CC: Christian Lindig
> CC: Dav
ibs/light/libxl.c| 61 +--
> tools/ocaml/libs/xc/xenctrl_stubs.c | 45 +---
> 7 files changed, 250 insertions(+), 146 deletions(-)
> create mode 100644 tools/libs/ctrl/xc_version.c
>
> --
> 2.11.0
>
Acked-by: Christian Lindig
s/xb: drop Xs_ring.write
I’m going to Ack this whole sale and provide individual comments.
Acked-by: Christian Lindig
ld follow the convention.
>
> No functional change.
>
> Signed-off-by: Edwin Török
> Cc: Christian Lindig
Acked-by: Christian Lindig
I am agnostic about this change. Automatic code formatting should take care of
this but I see no harm including this file. The number of deve
s more
> difficult (OCaml indentation tools usually only support spaces, not tabs).
>
> No functional change.
>
> Signed-off-by: Edwin Török
Acked-by: Christian Lindig
I am in favour of automating the code formatting, and moving to OCamlformat in
particular. The main drawback i
> On 16 Dec 2022, at 18:25, Edwin Török wrote:
>
> The configuration file can contain typos or various errors that could prevent
> live update from succeeding (e.g. a flag only valid on a different version).
> Unknown entries in the config file would be ignored on startup normally,
> add a
on provided here is similar to 'lsevtchn', but rather than
> parsing its output it queries the underlying API directly.
>
> Signed-off-by: Edwin Török
Acked-by: Christian Lindig
> ---
> Changes since v1:
> * drop paragraph about where this is used
> * add comment about max por
owever in the cases where the
> MSB is set it is very likely that the value is an address and no
> arithmetic should be performed on the OCaml side on it.
> (this is not a new problem with this binding, but worth mentioning given
> the difference in types)
>
> Signed-off-by: Edwin Török
Acked-by: Christian Lindig
Fixes: ee7815f49faf ("tools/oxenstored: Set uncaught exception handler")
> Signed-off-by: Andrew Cooper
> ---
> CC: Christian Lindig
> CC: David Scott
> CC: Edwin Torok
> CC: Rob Hoes
Acked-by: Christian Lindig
> ---
> tools/ocaml/xen
> On 1 Dec 2022, at 14:16, Edwin Torok wrote:
>
> The disadvantage is that we can't pattern match on it anymore.
>
> Although we could have some OCaml code that does the pattern matching on
> another type and maps it to these private integer types.
> However at that point we've manually
> On 1 Dec 2022, at 13:50, Edwin Torok wrote:
>
> Should we instead switch to using ctypes to generate these constants?
I would not advocate this. Ctypes is the kind of meta programming that is great
when it works but hell if it does not and it adds more dependencies.
I just had a
> On 1 Dec 2022, at 12:10, Andrew Cooper wrote:
>
> I can keep the being/end if you'd prefer.
>
> Looking at the end result, it would actually shrink the patch, so is
> probably worth doing anyway for clarity. The net result is:
I think keeping the begin/end is a good idea - as it keeps the
e. Once the evtchn has
> been unbound, the same local port number can be reused for a different
> purpose, so explicitly invalidate the ports to prevent their accidental misuse
> in the future.
>
> This also cleans up some of the debugging, to always print a port pair.
>
> Si
> It will also simplify a future change to restore both parts from the live
> update record, rather than re-initialising them from scratch.
>
> Rename the field from virq_port (which could be any VIRQ) to it's proper name.
>
> Signed-off-by: Andrew Cooper
> ---
> CC: Christ
> Signed-off-by: Andrew Cooper
> ---
> CC: Christian Lindig
> CC: David Scott
> CC: Edwin Torok
> CC: Rob Hoes
Acked-by: Christian Lindig
>
> v2:
> * New.
> ---
> tools/ocaml/xenstored/domains.ml | 26 --
> tools/ocaml/xens
pokes
> around at the domain object's internal state.
>
> We need to refactor the evtchn handling to support live update, so start by
> moving the relevant manipulation into Domain.
>
> No practical change.
>
> Signed-off-by: Andrew Cooper
> ---
> CC: Christian Lindig
&g
> On 30 Nov 2022, at 16:54, Andrew Cooper wrote:
>
> This file has some style problems so severe that they interfere with the
> readability of the subsequent bugfix patches.
>
> Fix these issues ahead of time, to make the subsequent changes more readable.
Acked-by: Christian Lindig
.clang-format | 9 +
> 1 file changed, 9 insertions(+)
> create mode 100644 tools/ocaml/.clang-format
Acked-by: Christian Lindig
I support this kind of automation. I also agree with the previous comment that
the title should indicate that this is only going into a subtree.
— C
rl with bindings that are not (yet) present in Xen.
>> What do you think?
>
> Many of these problems will disappear with a stable tools interface.
> But yes, in the short term, xcext opening its own handle would
> definitely improve things by keeping the two sets of binding
gt; and use the provided local ports rather than trying to rebind them.
>
> When this new information isn't present (i.e. live updating from an oxenstored
> prior to this change), the best-effort status quo will have to do.
>
> Signed-off-by: Edwin Török
> Signed-off-by: Andrew Coope
> On 11 Nov 2022, at 11:22, Henry Wang wrote:
>
> Signed-off-by: Henry Wang
> ---
> CHANGELOG.md | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
Acked-by: Christian Lindig
Hi Henry,
The changes don’t seem to be specific to the OCaml tools/ part that I care
abo
Török
> ---
> Reason for inclusion in 4.17:
> - bugfix for commit already in master
Acked-by: Christian Lindig
> On 10 Nov 2022, at 09:25, Henry Wang wrote:
>
> Hi Christian,
>
>> -Original Message-
>> From: Christian Lindig
>> Subject: Re: [PATCH for-4.17 v3 07/15] CODING_STYLE(tools/ocaml): add
>> 'make format' and remove tabs
>>>> Whi
> On 9 Nov 2022, at 02:40, Henry Wang wrote:
>
>>
>> -Original Message-
>> From: Julien Grall
>> Subject: Re: [PATCH for-4.17 v3 07/15] CODING_STYLE(tools/ocaml): add
>> 'make format' and remove tabs
>> While I understand the goal and support, this seems to be a bit too late
>> to do
2 deletions(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
e to an OOM exception).
>
> Signed-off-by: Edwin Török
> ---
> Reason for inclusion in 4.17:
> - avoids losing crucial information during a fatal error (e.g. during
> live update)
Acked-by: Christian Lindig
> +let print_flush msg =
> + prerr_endline msg;
> +
vin.to...@citrix.com>>
---
Reason for inclusion in 4.17:
- makes live update issues debuggable (live update can be used to apply
security updates to 4.17)
Changes since v2:
- new in v3
---
tools/ocaml/xenstored/xenstored.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Acked-b
+
> tools/ocaml/xenstored/event.ml | 7 ++-
> tools/ocaml/xenstored/xenstored.ml | 71 +-----
> 3 files changed, 56 insertions(+), 23 deletions(-)
Acked-by: Christian Lindig
> +let require_doms () =
> + match !doms with
> + | None -&g
r inclusion in 4.17:
- fixes a build error in a previous commit that is already in master
Changes since v2:
- new in v3
---
tools/ocaml/xenstored/store.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
neventchn.ml | 6 +++-
tools/ocaml/libs/eventchn/xeneventchn.mli | 9 +-
tools/ocaml/libs/eventchn/xeneventchn_stubs.c | 28 +--
3 files changed, 38 insertions(+), 5 deletions(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
comments received post commit
Changes since v2:
- add Fixes line
- add 4.17 reason
---
tools/ocaml/Makefile.rules | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
comments received post commit
Changes since v2:
- add Fixes line
- add 4.17 reason
---
tools/ocaml/Makefile.rules | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
s previously emailed to security team though)
---
tools/ocaml/xenstored/Makefile | 6 +-
1 file changed, 5 insertions(+), 1 deletion(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
e changed, 1 insertion(+), 1 deletion(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
insertions(+), 7 deletions(-)
Acked-by: Christian Lindig
> It was calling the Xen domainfolist hypercall N/2 times.
> Optimize this such that it is called at most 2 times during normal use.
>
> Implement a tail recursive `rev_concat` equivalent to `concat |> rev`,
> and
then
> + Store.mkdir store
> Perms.Connection.full_rights tool_path;
> Store.write store Perms.Connection.full_rights
> (Store.Path.of_string "/tool/xenstored") Sys.executable_name;
I notice inconsistent indentation but let's ignore that or fix it before the
committing.
Acked-by: Christian Lindig
ilable from git:
https://github.com/edwintorok/xen/commit/12d90632bf881e96e0b6c256df193f00df187dc1
With both of these patches a smoketest 'xenstore-control live-update' with a
stopped toolstack works now.
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
n part of what
got comitted.
Fixes: 00c48f57ab36 ("tools/oxenstored: Start live update process")
Signed-off-by: Andrew Cooper
mailto:andrew.coop...@citrix.com>>
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
h linking with in-tree xen libraries
- Add -Werror to CFLAGS for all builds in tools/
Changes in v2:
- one new patch
- other changes described in patch notes
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
This is a good use of the OCaml type system to ensure only compatible flags are
shared in a list and not mixed between architectures. The macro changes are
good housekeeping.
— C
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 12 Oct 2022, at 19:25, Andrew
> On 27 Sep 2022, at 17:13, Edwin Torok wrote:
>
>
> See below for a patch for that. I've included this patch in the correct place
> (before the patch that breaks it) in the git repository at:
> https://github.com/edwintorok/xen/compare/private/edvint/public0
>
Acked
/light: Makefile cleanup
tools/golang/xenlight: Rework gengotypes.py and generation of *.gen.go
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 3 Aug 2022, at 12:25, Anthony PERARD
mailto:anthony.per...@citrix.com>> wrote:
On Fri, Jul 29, 2022 at 06:53:26PM +0100, Edwin Török wrote:
Based on Christian Lindig's work.
Should we have is "Signed-off-by" tag then? Also he might be the author
of the patch, isn't it?
This only refers to
On 3 Aug 2022, at 11:39, Andrew Cooper
mailto:andrew.coop...@citrix.com>> wrote:
There are no side effects here. Can't the line simply be deleted?
Yes. The compiler tells us about unused bindings like these and this is the
easy way to acknowledge this without removing the code but it could
e mode 100644 tools/ocaml/libs/xc/dune
create mode 100644 tools/ocaml/libs/xs/dune
create mode 100644 tools/ocaml/libs/xs/paths.ml.in
create mode 100644 tools/ocaml/xenstored/dune
create mode 100644 tools/ocaml/xenstored/paths.ml.in
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 8 Jul 2022, at 14:55, Jane Malalane
mailto:jane.malal...@citrix.com>> wrote:
tools/ocaml/libs/xc/xenctrl.ml | 9 +
tools/ocaml/libs/xc/xenctrl.mli | 8
tools/ocaml/libs/xc/xenctrl_stubs.c | 18 —
Acked-by: Christian Lindig
mailto:christi
On 29 Jun 2022, at 14:55, Jane Malalane
mailto:jane.malal...@citrix.com>> wrote:
+ physinfo = caml_alloc_tuple(11);
Store_field(physinfo, 0, Val_int(c_physinfo.threads_per_core));
Store_field(physinfo, 1, Val_int(c_physinfo.cores_per_socket));
Store_field(physinfo, 2,
S for all builds in tools/
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 17 May 2022, at 20:41, Andrew Cooper
mailto:andrew.coop...@citrix.com>> wrote:
Sadly, cpupool IDs are chosen by the caller, not assigned sequentially, so
this does need to have a full 32 bits of range.
rl.mli | 2 ++
tools/ocaml/libs/xc/xenctrl_stubs.c | 2 +-
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
The changes here are minimal - I had ack’ed an earlier iteration.
— Christian
| 8
> tools/ocaml/libs/xs/Makefile | 8
> tools/ocaml/Makefile.rules | 2 +-
Acked-by: Christian Lindig
I am fine with this but in general think that the OCaml part should be built
using Dune (but invoked from Make), which is now the standard tool to bu
arch/x86/hvm/vmx/vmcs.c | 4
> xen/arch/x86/hvm/vmx/vmx.c| 14 +-
> xen/arch/x86/include/asm/hvm/domain.h | 6 ++
> xen/arch/x86/traps.c | 8
> xen/include/public/arch-x86/xen.h | 2 ++
> 21 files changed, 173 insertions(+),
The changes for the OCaml bindings are minimal and administrative. This looks
good to me.
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 27 Jan 2022, at 16:01, Jane Malalane
mailto:jane.malal...@citrix.com>> wrote:
Introduce a new per-domain creation x86 s
On 4 Nov 2021, at 10:48, Roger Pau Monne
mailto:roger@citrix.com>> wrote:
Introduce a new domain create field so that toolstack can specify the
maximum grant table version usable by the domain. This is plumbed into
xl and settable by the user as max_grant_version.
Acked-by: Chr
ll...@kernel.org>>
CC: Wei Liu mailto:w...@xen.org>>
CC: Roger Pau Monné mailto:roger@citrix.com>>
CC: Julien Grall mailto:jul...@xen.org>>
CC: Christian Lindig
mailto:christian.lin...@citrix.com>>
CC: Edwin Török mailto:edvin.to...@citrix.com>>
The OCaml change
On 14 Oct 2021, at 10:33, Julien Grall mailto:jul...@xen.org>>
wrote:
Looking at the thread, we are only missing an ack for...
---
tools/ocaml/libs/xc/xenctrl.ml | 1 - > tools/ocaml/libs/xc/xenctrl.mli | 1 -
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
xen/include/asm-arm/domain.h | 1 +
xen/include/public/domctl.h | 4 ++-
xen/include/public/sysctl.h | 6 ++--
xen/include/xen/domain.h | 2 ++
21 files changed, 157 insertions(+), 11 deletions(-)
—
2.29.0
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 11 Oct 2021, at 10:36, Roger Pau Monne
mailto:roger@citrix.com>> wrote:
Ping? The two patches above didn't get any review in either v1 or v2.
Patch #1 should be ready to go in AFAICT.
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
/arch/x86/domain.c| 6 ++
xen/common/domain.c | 9 -
xen/include/asm-arm/domain.h | 1 +
xen/include/public/domctl.h | 5 -
15 files changed, 68 insertions(+), 4 deletions(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
changed, 14 insertions(+), 4 deletions(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
rse.c | 4
> xen/arch/arm/domain_build.c | 6 --
> xen/arch/x86/setup.c| 3 ++-
> xen/common/grant_table.c| 8 +++-
> xen/include/public/domctl.h | 5 -
> 16 files changed, 62 insertions(+), 6 deletions(-)
Acked-by: Christian Lindig
> On 17 Sep 2021, at 16:46, Roger Pau Monne wrote:
>
> Hello,
>
> The first two patches of this series allows setting the preisoutly host
> wide command line `gnttab` option on a per domain basis. That means
> selecting the max allowed grant table version and whether transitive
> grants are
trl_stubs.c | 2 +-
xen/include/public/domctl.h | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
For the OCaml part:
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
On 25 Jun 2021, at 14:17, Jan Beulich
mailto:jbeul...@suse.com>> wrote:
For log-dirty operations a 64-bit field is being truncated to become an
"int" return value. Seeing the lar
4 insertions(+), 1 deletion(-)
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
+static CAMLprim value Val_leaves(const xen_cpuid_leaf_t *leaves, uint32_t
nr_leaves)
+{
+CAMLparam0();
+CAMLlocal1(result);
+uint32_t i;
+
+result = caml_alloc(nr_leaves, 0);
+for (i=0;i
eaders by indirectly including
/usr/include/limits.h where PAGE_SIZE and PATH_MAX are defined.
[..]
tools/ocaml/libs/xc/xenctrl_stubs.c | 10 +++
.../ocaml/libs/xentoollog/xentoollog_stubs.c | 4 +++
tools/ocaml/libs/xl/xenlight_stubs.c | 4 +++
Acked-by: Christian
(+), 2 deletions(-)
—
2.20.1
For the OCaml bindings, this avoids redefinitions as you say. Looks good to me.
Acked-by: Christian Lindig
mailto:christian.lin...@citrix.com>>
1 - 100 of 191 matches
Mail list logo
