Hallo,
Wenn der Hallsensor normale Inkrementalgebersignale liefert, dann guck mal hier:
https://www.roboternetz.de/phpBB2/viewtopic.php?t=33628
Da habe ich mal ein Codebeispiel für die Auswertung eines Impulsgebers mittels IRQ hineingestellt. Der IRQ dauert hier < 20uS.
Niemals in einem IRQ auf irgend etwas warten!!
Ports abfragen, kurze Berechnung mit PortAlt für Richtung, PortNeu in PortAlt speichern und dann nichts wie raus.

Gruß
pctoaster