Re: [PATCH] LinuxPPS - PPS support for Linux

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Dave Jones <davej@...>, <linux-kernel@...>, Andrew Morton <akpm@...>, David Woodhouse <dwmw2@...>
Date: Tuesday, October 23, 2007 - 4:35 pm

On Tue, Oct 23, 2007 at 04:17:50PM -0400, Dave Jones wrote:

Hi! :)


This sounds good! ;)


Mmm, I just consider them as simple userland examples. They don't need
to manage PPS devices.

I can remove them from Documentation/pps/, no problems, but in my
modest opinion they are just documentation. :)


Fixed.


Fixed.


Ok!

Ciao,

Rodolfo

-- 

GNU/Linux Solutions                  e-mail:    giometti@enneenne.com
Linux Device Driver                             giometti@gnudd.com
Embedded Systems                     		giometti@linux.it
UNIX programming                     phone:     +39 349 2432127
-
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[PATCH] LinuxPPS - PPS support for Linux, Rodolfo Giometti, (Tue Oct 23, 2:04 pm)
Re: [PATCH] LinuxPPS - PPS support for Linux, Dave Jones, (Tue Oct 23, 4:17 pm)
Re: [PATCH] LinuxPPS - PPS support for Linux, Rodolfo Giometti, (Tue Oct 23, 4:55 pm)
Re: [PATCH] LinuxPPS - PPS support for Linux, Roland Dreier, (Tue Oct 23, 5:08 pm)
Re: [PATCH] LinuxPPS - PPS support for Linux, Rodolfo Giometti, (Thu Oct 25, 4:39 am)
Re: [PATCH] LinuxPPS - PPS support for Linux, Rodolfo Giometti, (Thu Oct 25, 4:32 pm)
Re: [PATCH] LinuxPPS - PPS support for Linux, Rodolfo Giometti, (Wed Oct 24, 3:00 am)
Re: [PATCH] LinuxPPS - PPS support for Linux, Rodolfo Giometti, (Tue Oct 23, 4:35 pm)