On Sun, Dec 30, 2018 at 12:25:02PM +0100, Ingo Molnar wrote: Could we please also use the opportunity and move > nolibc.h to a more prominent place, like in tools/include/nolibc/nolibc.h > or so?
It's exactly what the last patch does, I followed your suggestion :-) Willy
