[PATCH] user-cr: Extract headers from kernel source tree.

[Nathan Lynch]

On Sat, 2009-10-03 at 00:20 -0700, Matt Helsley wrote:
> Sanitize kernel headers for userspace by extracting non-__KERNEL__
> portions of the various checkpoint headers and placing them in a
> similar organization of userspace headers.
> 
> The script is run from the top level of the user-cr source tree like:
> 
> 	./scripts/extract-headers.sh -s <path-to-kern-source> -o ./include
> 
> The patch includes a copy of the auto-generated headers and adjusts
> the user-cr programs to use them.

I appreciate the effort put into this, but why isn't the
"headers_install" target of the kernel Makefile sufficient to produce
headers that are usable by userspace?  So far as I know, other projects
with complex kernel/user interfaces (e.g. kvm) haven't had to resort to
special-purpose programs like this.