Re: [Xen-API] [Xen-devel] [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-API] [RFC] Unicore Subproject Proposal

2017-09-13 Thread Lars Kurth
Simon, It looks to me as if there is some feedback: so it may make some sense to incorporate some of it and send out a version 2. We may also want to CC some reps from other unikernel projects but Mirage OS. Or you could point them to this thread in a separate mail through respective channels o

Re: [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