Драйвер PCIE для Windows CE и Windows Desktop

Мне нужен небольшой совет для разработки пользовательского драйвера PCIE. Драйвер должен поддерживать как Windows CE 6.0, так и для Windows Desktop (XP, 7 и 8 при готовности).

У нас есть много опыта, разрабатывающих драйверы для Windows CE, но нет для Windows Desktop. Я уверен, что мы можем разработать хороший, твердый драйвер Windows CE, но я думаю, что мы не сможем сделать то же самое для Windows Desktop без какой-либо внешней справки. Я думаю, что у нас есть два варианта:

1) Используйте существующую структуру драйверов, такие как Windriver Jungo, что позволяет нам разрабатывать драйвер один раз и компилировать платформы Mulitiple. Это также имеет преимущество, что большая часть разработки будет в пространстве пользователя, поэтому он должен сделать процесс разработки проще.

2) Получите некоторую внешнюю помощь для настройки хорошего драйвера рабочего стола Windows, где все сантехники выполняются, и нам просто нужно добавить код, который связывается с нашей доской и выясняет соответствующие iocontrols. Возможно, переместите как можно больше от кода в библиотеку пространства пользователя.

Что было бы преимуществами и недостатками каждого варианта? Вы бы порекомендовали альтернативные подходы?