Re: [Xen-devel] [Minios-devel] [PATCH] mini-os: add a coding style file

2018-02-13 Thread Wei Liu
On Mon, Feb 12, 2018 at 11:59:23AM +0100, Juergen Gross wrote: > On 09/11/17 13:45, Wei Liu wrote: > > On Thu, Nov 09, 2017 at 01:35:49PM +0100, Juergen Gross wrote: > >> On 09/11/17 13:31, Wei Liu wrote: > >>> On Thu, Nov 09, 2017 at 01:10:12PM +0100, Juergen Gross wrote: > Since carving out

Re: [Xen-devel] [Minios-devel] [PATCH] mini-os: add a coding style file

2018-02-12 Thread Juergen Gross
On 09/11/17 13:45, Wei Liu wrote: > On Thu, Nov 09, 2017 at 01:35:49PM +0100, Juergen Gross wrote: >> On 09/11/17 13:31, Wei Liu wrote: >>> On Thu, Nov 09, 2017 at 01:10:12PM +0100, Juergen Gross wrote: Since carving out Mini-OS from the Xen repository there hasn't been a description of