1. Возможно кто-то знает есть ли библиотеки для DDK под PC, эмулирующие математику с длинной плавающей точкой?
2. Можно ли настроить компилятор DDK так, чтобы по желанию при появлении операций с плавающей точкой он либо задйствовал FPU либо библиотеку, эмулирующую плавающую точку? Может об этом можно почитать где-то, буду признателен за ссылку.

Раньше я все время пользовался инструкциями Intel FPU прямо из драйвера, вставляя их между функциями KeSaveFloatingPointState(),KeRestoreFloatingPointState(), но теперь мне понадобилась математика на более высоких IRQL, чем тот на котором могут вызываьбся эти функции для корректной работы с FPU.