I have looked through the documentation a bit more, and I am having trouble
figuring out how to proceed with Windows Phone driver development.
In the WDK, I can see options for building for ARM, and for building UEFI
applications. However, approaching development is still rather opaque. Are
kernel facilities the same?
In this case, please assume that the not-consumer-controlled Secure Boot of
these platforms is not an issue.