Re: [PATCH 0/9] tools/nolibc: split out more headers