Re: [Xen-devel] [MirageOS-devel] [Minios-devel] [Xen-API] [RFC] Unicore Subproject Proposal

> On 15 Sep 2017, at 09:36, Simon Kuenzer <simon.kuen...@neclab.eu> wrote: > > Hey Anil, > > On 13.09.2017 12:11, Anil Madhavapeddy wrote: >> On 11 Sep 2017, at 13:08, Simon Kuenzer <simon.kuen...@neclab.eu> wrote: >>> >>>> Just my 2 cents:

Re: [Xen-devel] [MirageOS-devel] [Minios-devel] [Xen-API] [RFC] Unicore Subproject Proposal

On 13 Sep 2017, at 17:13, Samuel Thibault <samuel.thiba...@ens-lyon.org> wrote: > > Hello, > > Anil Madhavapeddy, on mer. 13 sept. 2017 11:11:03 +0100, wrote: >> Maintaining a forked MiniOS has been a multi-year source of a maintenance >> burden for MirageO

Re: [Xen-devel] [Xen-API] [RFC] Unicore Subproject Proposal

On 11 Sep 2017, at 13:08, Simon Kuenzer wrote: > >> Just my 2 cents: >> 1. Is this academic project, or it have specific goals and areas of >> application? Would be good to have some practical use-cases and well >> formulated list of problems (we all feel these by

Re: [Xen-devel] [PATCH for 4.7] libxenvchan: Change license of header from Lesser GPL v2.1 to BSD

chan >>> library) have anything against converting it to the BSD-style licence." >>> (Marek Marczykowski-Górecki, >>> http://lists.xen.org/archives/html/xen-devel/2016-06/msg00995.html) >>> so as such lets change it. >>> >>> Signed-off-by: Konrad Rzeszutek Wilk <konrad.w...@oracle.com> >> >> Acked-by: Daniel De Graaf <dgde...@tycho.nsa.gov> > > Acked-by: Jason Andryuk <andr...@aero.org> Acked-by: Anil Madhavapeddy <a...@recoil.org <mailto:a...@recoil.org>> ___ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel

Re: [Xen-devel] 2016 Xen hackathon notes - xenstored

Please do get in touch if you have any packaging problems concerning OCaml. It's pretty good on modern Linux and FreeBSD though, and oxenstored works on most modern releases. We've not got a set of patches that are suitable for upstreaming for the Xenstored/Irmin tree that we demonstrated at

Re: [Xen-devel] [Xen-API] Hackathon 2016 Location Preferences

On 5 Nov 2015, at 15:21, Lars Kurth wrote: > > Hi all, > > I wanted to do quick straw-poll regarding Hackathon Locations for next year. > Before I do this though, I wanted to let you know that the 2016 Developer > Summit will most likely be in Berlin in October (I am

Re: [Xen-devel] [MirageOS-devel] OutreachY Proposed candidate selection process and FAQ

> On 28 Sep 2015, at 10:50, Lars Kurth wrote: > > Hi, > > I have been getting a few questions related to the Outreachy program from > mentors. So I put together an FAQ > > Q: How many slots do we have (across Xen, Mirage OS, XAPI) > A: We have two slots. But we do

[Xen-devel] What is C in practice? (Cerberus survey v2.1)

If any Xen developers have time, we're gathering some information on C semantics that would be very helpful to have your input on. This survey explores what C is, in current mainstream practice: the behaviour that programmers assume they can rely on, the behaviour provided by mainstream compilers

Re: [Xen-devel] Upstream QEMU based stubdom and rump kernel

On 19 Mar 2015, at 09:35, Antti Kantee po...@iki.fi wrote: On 19/03/15 08:48, Martin Lucina wrote: By faking out Anil means a shim to get existing applications which currently use PF_UNIX (and possibly PF_INET, though that will be harder to fake) to use the hypervisor bus to talk to another

Re: [Xen-devel] Upstream QEMU based stubdom and rump kernel

On 18 Mar 2015, at 11:20, Martin Lucina mar...@lucina.net wrote: A bit background information. A stubdom is a service domain. With QEMU stubdom we are able to run QEMU device emulation code in a separate domain so that bugs in QEMU don't affect Dom0 (the controlling domain). Xen currently

Re: [Xen-devel] Upstream QEMU based stubdom and rump kernel

On 18 Mar 2015, at 20:23, Antti Kantee po...@iki.fi wrote: On 18/03/15 19:05, Anil Madhavapeddy wrote: This fits in with a couple of things I hope to make time to work on in the next couple of months: 1. Introspection of Rump Kernel domUs for ops purposes, i.e. get some basic ps, top

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

On 27 Jan 2015, at 11:52, Wei Liu wei.l...@citrix.com wrote: On Mon, Jan 26, 2015 at 10:57:57AM +, Anil Madhavapeddy wrote: On 26 Jan 2015, at 09:53, Thomas Leonard tal...@gmail.com wrote: [ Cc += Anil ] On 25 January 2015 at 18:25, Wei Liu wei.l...@citrix.com wrote: Cc Ian and Ian

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

On 26 Jan 2015, at 18:21, Martin Lucina mar...@lucina.net wrote: a...@recoil.org said: On 26 Jan 2015, at 17:42, Martin Lucina mar...@lucina.net wrote: tal...@gmail.com said: In case it's useful: for the standalone version of Mini-OS used by Mirage, I had to include these directories too:

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

On 26 Jan 2015, at 17:42, Martin Lucina mar...@lucina.net wrote: tal...@gmail.com said: In case it's useful: for the standalone version of Mini-OS used by Mirage, I had to include these directories too: 1. xen/include/public 2. xen/common/libfdt 3. xen/include/xen/libfdt 4. config (

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

On 26 Jan 2015, at 18:49, Thomas Leonard tal...@gmail.com wrote: On 26 January 2015 at 17:56, Anil Madhavapeddy a...@recoil.org wrote: On 26 Jan 2015, at 17:42, Martin Lucina mar...@lucina.net wrote: tal...@gmail.com said: In case it's useful: for the standalone version of Mini-OS used

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

On 26 Jan 2015, at 09:53, Thomas Leonard tal...@gmail.com wrote: [ Cc += Anil ] On 25 January 2015 at 18:25, Wei Liu wei.l...@citrix.com wrote: Cc Ian and Ian and some folks who might be interested in this work. On Sun, Jan 25, 2015 at 06:13:41PM +, Wei Liu wrote: There has been