On Thu, Feb 21, 2013 at 8:42 PM, Anthony G. Basile
<[email protected]> wrote:
> there is the kernel source tree
> (/usr/src/linux if it exists and is configured)

The kernel can also be split (KV_DIR + KV_OUT_DIR), with relevant
headers located in both directories. E.g., [1].

[1] https://bugs.gentoo.org/show_bug.cgi?id=424816

-- 
Maxim Kammerer
Liberté Linux: http://dee.su/liberte

Reply via email to