Es mag moeglich sein das FreePascal das Dateiformat von WDM-Treibern generieren kann, aber dann muessen erst mal alle C Header des Windows
DDK konvertiert werden und das ist eine Heidenarbeit.
Ich hab keine Zeit und Marcel van Brakel ist so beknackt auch nicht mehr
Andere zu finden ist unwahrscheinlich.