Re: [PATCH RFC tools/lkmm] Miscellaneous fixes

2018-02-09 Thread Akira Yokosawa
On 2018/02/09 23:18, Paul E. McKenney wrote: > Hello! > > This RFC series adds some miscellaneous updates to the Linux kernel > memory model: > > 1.Clarify the origin and scope of the tool name to avoid confusion > between "memory model" and "memory management", courtesy of >

Re: [PATCH RFC tools/lkmm] Miscellaneous fixes

2018-02-09 Thread Akira Yokosawa
On 2018/02/09 23:18, Paul E. McKenney wrote: > Hello! > > This RFC series adds some miscellaneous updates to the Linux kernel > memory model: > > 1.Clarify the origin and scope of the tool name to avoid confusion > between "memory model" and "memory management", courtesy of >

[PATCH RFC tools/lkmm] Miscellaneous fixes

2018-02-09 Thread Paul E. McKenney
Hello! This RFC series adds some miscellaneous updates to the Linux kernel memory model: 1. Clarify the origin and scope of the tool name to avoid confusion between "memory model" and "memory management", courtesy of Andrea Parri. 2. Move the maintainer list for LKMM

[PATCH RFC tools/lkmm] Miscellaneous fixes

2018-02-09 Thread Paul E. McKenney
Hello! This RFC series adds some miscellaneous updates to the Linux kernel memory model: 1. Clarify the origin and scope of the tool name to avoid confusion between "memory model" and "memory management", courtesy of Andrea Parri. 2. Move the maintainer list for LKMM