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

2017-09-13 Thread Felipe Huici
Hi Anil, >From a MirageOS perspective, we'd be happy to switch to something that >can give us just enough MiniOS for our ocaml-freestanding [1] code to >boot on Xen. One requirement from our side is that we need to strip down >MiniOS to remove even the C xenstore implementation, since we have pu

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

2017-09-13 Thread Anil Madhavapeddy
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 guts, but...), it aiming >> t