Re: [PATCH 1/1] LinuxPPS: Pulse per Second support for Linux

[H. Peter Anvin]

Rodolfo Giometti wrote:
> The problem is that sometimes you cannot have a filedescriptor at
> all. Think about a PPS source connected with a CPU's GPIO pin. You
> have no filedes to use and defining one just for a PPS source or for a
> class of PPS sources, I think, is a non sense.

If you have a kernel driver at all, then it makes perfect sense.  If you 
don't have a kernel driver at all, then it's irrelevant to the 
linux-kernel discussion.

> RFC simply doesn't consider the fact that you can have a PPS source
> __without__ a filedes connected with, and a single filedes is
> considered __always__ connected with a single PPS source.

That's the Unix way.

	-hpa

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