So, looking at the sensor output (from the datasheet), it 
seems that it outputs a pulse which has a width of 10 msec to 90msec. 
The time that the output is low is what is significant.
This
 is not something that linux is good at measuring, unless there is 
specific hardware support for it (for some reason I had heard that the 
sensor had a serial interface).
So I started to look at the various processors we're considering to see what hardware support they have.