Soporte técnico Encoder incremental con Raspberry Pi

Hola a todos, os comento un poco mi problema a ver si me podéis echar una mano.

Necesito leer un encoder incremental, en concreto uno de estos de 3600 pulsos por revolución. En un principio lo iba a hacer con una placa de adquisición que hay por mi taller pero la máxima frecuencia de adquisición que me da son 5 kHz, que es mucho mas bajo que lo que necesito. La idea es que el encoder llegue a girar a 17 revoluciones por segundo, con lo que necesitaría unos 250 kHz según mis cálculos.

La solución que se me ha ocurrido es usar una raspberry pi que he leído que me permite leer a frecuencias mucho mayores (del orden de los MHz). El problema es que no estoy seguro de cómo montar el hardware (con o sin divisores de tensión entre otras dudas) ni cómo programarlo. Lo que necesito obtener es un txt con tres columnas (tiempo señalA señalB) para pasárselo a un programa de Matlab que obtiene el ángulo girado (ya hice ese programa). O si no directamente un txt con dos columnas (tiempo ángulo).

Gracias y un saludo

Yo lo veo mas facil con un pc que lleve una distro de linux, con un pentium 166 mmx tienes bastante...