From: "Edwin Török" <edvin.torok@citrix.com>
To: <xen-devel@lists.xenproject.org>
Cc: "Edwin Török" <edvin.torok@citrix.com>,
"Andrew Cooper" <andrew.cooper3@citrix.com>,
"George Dunlap" <george.dunlap@citrix.com>,
"Jan Beulich" <jbeulich@suse.com>,
"Julien Grall" <julien@xen.org>,
"Stefano Stabellini" <sstabellini@kernel.org>,
"Wei Liu" <wl@xen.org>,
"Christian Lindig" <christian.lindig@citrix.com>,
"David Scott" <dave@recoil.org>,
"Anthony PERARD" <anthony.perard@citrix.com>
Subject: [PATCH v1 0/5] OCaml bindings for hvm_param_get and xc_evtchn_status
Date: Wed, 30 Nov 2022 17:32:32 +0000 [thread overview]
Message-ID: <cover.1669829264.git.edvin.torok@citrix.com> (raw)
Add bindings to xc_evtchn_status and hvm_param_get, useful for xenopsd
and for recovery from failed live updates.
.editorconfig helps me format the source code with the desired Xen
coding style (now that the reindent patch has switched it to spaces as
desired by the Xen project).
If you don't have an editor set up to use editorconfig this is a no-op.
.clang-format is an experiment for the OCaml subtree in slowly moving
its code to be closer to the Xen coding style. There is no Xen coding
style as such in clang-format, this takes GNU as a base and tweaks it to
be as close to CODING_STYLE as possible (there is just one different in
handling of do/while as far as I can tell).
It should be an improvement over the current situation where the OCaml C
bindings do not follow Xen coding style, and further bindings added that
follow the style of the code around them would not follow it either.
It doesn't yet reformat anything with it, just allows someone that
submits patches to use it if desired (e.g. on new code).
Edwin Török (5):
CODING-STYLE: add .editorconfig to clarify indentation uses spaces
tools/ocaml/libs/xc: add binding to xc_evtchn_status
tools/ocaml/libs/xc: add hvm_param_get binding
tools/ocaml/libs/xb: add missing stdint.h
CODING_STYLE: add .clang-format
.editorconfig | 20 +++++++
tools/ocaml/.clang-format | 9 ++++
tools/ocaml/libs/xb/xenbus_stubs.c | 1 +
tools/ocaml/libs/xc/xenctrl.ml | 58 +++++++++++++++++++++
tools/ocaml/libs/xc/xenctrl.mli | 60 +++++++++++++++++++++
tools/ocaml/libs/xc/xenctrl_stubs.c | 81 +++++++++++++++++++++++++++++
6 files changed, 229 insertions(+)
create mode 100644 .editorconfig
create mode 100644 tools/ocaml/.clang-format
--
2.34.1
next reply other threads:[~2022-11-30 17:33 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-11-30 17:32 Edwin Török [this message]
2022-11-30 17:32 ` [PATCH v1 1/5] CODING-STYLE: add .editorconfig to clarify indentation uses spaces Edwin Török
2022-11-30 17:32 ` [PATCH v1 2/5] tools/ocaml/libs/xc: add binding to xc_evtchn_status Edwin Török
2022-12-01 11:34 ` Andrew Cooper
2022-12-01 13:35 ` Edwin Torok
2022-12-01 13:59 ` Andrew Cooper
2022-12-01 14:37 ` Edwin Torok
2022-11-30 17:32 ` [PATCH v1 3/5] tools/ocaml/libs/xc: add hvm_param_get binding Edwin Török
2022-12-01 11:51 ` Andrew Cooper
2022-12-01 13:50 ` Edwin Torok
2022-12-01 13:57 ` Christian Lindig
2022-12-01 14:16 ` Edwin Torok
2022-12-01 14:22 ` Christian Lindig
2022-12-01 15:07 ` Edwin Torok
2022-11-30 17:32 ` [PATCH v1 4/5] tools/ocaml/libs/xb: add missing stdint.h Edwin Török
2022-11-30 17:32 ` [PATCH v1 5/5] CODING_STYLE: add .clang-format Edwin Török
2022-12-01 9:11 ` Julien Grall
2022-12-01 9:21 ` Edwin Torok
2022-12-01 9:31 ` Julien Grall
2022-12-01 10:08 ` Juergen Gross
2022-12-01 10:12 ` Julien Grall
2022-12-01 10:44 ` Juergen Gross
2022-12-01 10:47 ` Julien Grall
2022-12-01 11:30 ` Jan Beulich
2022-12-01 11:35 ` Julien Grall
2022-12-01 11:52 ` Jan Beulich
2022-12-01 9:24 ` Christian Lindig
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cover.1669829264.git.edvin.torok@citrix.com \
--to=edvin.torok@citrix.com \
--cc=andrew.cooper3@citrix.com \
--cc=anthony.perard@citrix.com \
--cc=christian.lindig@citrix.com \
--cc=dave@recoil.org \
--cc=george.dunlap@citrix.com \
--cc=jbeulich@suse.com \
--cc=julien@xen.org \
--cc=sstabellini@kernel.org \
--cc=wl@xen.org \
--cc=xen-devel@lists.xenproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.