tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: should gpio be moved to sys/dev from sys/sys?

Am 17.08.2009 um 18:49 schrieb Thor Lancelot Simon:

On Mon, Aug 17, 2009 at 06:45:56PM +0200, Marc Balmer wrote:

- device specific C header files should go to /usr/include/dev (thus
sys/dev in the src tree)
- system C header files (kernel data structures) should go to /usr/
include/sys (thus sys/sys in the src tree)

I agree with this -- except that I think few if any device specific
C header files should be exposed to userland at all.

Indeed.  I think this is why we have the distinction between

sys/XXXXio.h (or sys/XXXX.h), which defines structures and interfaces between kernel/userland


dev/XXXXvar.h which is used internally by a driver.

It seems to me that headers shared between userland and the kernel are candidates for sys/sys.

Home | Main Index | Thread Index | Old Index