Re: [Qemu-devel] QEMU GSoC 2016: MTTCG project

2016-02-16 Thread Alex Bennée
Pranith Kumar writes: > Hello, > > I am interested in working on a portion of the MTTCG project as part > of GSoC 2016. I am writing to ask for guidance in creating a formal > proposal. > > On IRC, Alex suggested a project to support proper modelling of memory > consistency between different hos

[Qemu-devel] QEMU GSoC 2016: MTTCG project

2016-02-15 Thread Pranith Kumar
Hello, I am interested in working on a portion of the MTTCG project as part of GSoC 2016. I am writing to ask for guidance in creating a formal proposal. On IRC, Alex suggested a project to support proper modelling of memory consistency between different host and guest architectures. This, I thin