Re: [PATCH] Re: bug in socket.h (and maybe many other kernel headerfiles)

Michael Elizabeth Chastain (mec@shout.net)
Mon, 20 Sep 1999 17:56:28 -0500


Hi Jeff,

> I found out that you are asking for a world of hurt if you include both user
> and kernel headers into the same file. What I did was split my sources into
> "user" and "kernel" files, which include only user and kernel headers,
> respectively. Communication between these two groups happens in terms of
> basic C types.

Nod.

I have three source files dedicated to the "kernel ABI tables". I don't
have pure tables yet, because some of the kernel ABI is complex and
beyond my table-modelling ability.

E.g. the "fcntl" system call uses entirely different memory regions
depending on its second argument and I have some code to figure that out.
And the last time I checked my ioctl table, there were 927 lines in it.

This makes three separate projects that need the same information:

strace
my trace-and-replay debugger
your virtual kernel

I would be interested in your "basic C types".

Also next week I am making a tarball of my stuff (nothing fancy).

Michael

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/