Developing Drivers with WDF: References

Chapter 1: Introduction to WDF

	Developing Drivers with WDF: News and Update (WHDC)
	Using Checked Builds of Windows (WHDC)
	Channel 9 Web site sponsored by MSDN
	Debugging Tools for Windows (WHDC)
	Microsoft Hardware Newsletter (WHDC)
	WHDC Web site
	Windows Driver Foundation (WHDC)
	Windows Driver Kit (WHDC)
	WinHEC Web site
	Blogs by Microsoft driver development experts
	Conferences and Training for Developers (WHDC)
	Debugging Tools and Symbols - Resources (WHDC)
	Hardware and Driver Developer Community (WHDC)
	Symbols Package (server)
	Symbols Package (WHDC)
	Open Systems Resources Web site
	Microsoft newsgroup home page
	UMDF Objects and Interfaces (WDK)
	User Account Control (MSDN)
	WDK documentation as part of the MSDN Library

Chapter 2: Windows Driver Fundamentals

	How do I keep my driver from running out of kernel-mode stack? (WHDC)
	Driver Fundamentals Resources (WHDC)
	Operating Systems, Stallings
	Microsoft Windows Internals, Solomon and Russinovich
	Device Management (WDK)
	Getting Started with Windows Drivers (WDK)
	Managing Hardware Priorities (WDK)
	Object Management (WDK)

Chapter 3: WDF Fundamentals

	Writing Secure Code, Howard and LeBlanc
	Creating Reliable and Secure Drivers (WDK)
	Kernel-Mode Driver Framework Design Guide (WDK)
	User-Mode Driver Framework Design Guide (WDK)

Chapter 4: Overview of the Driver Frameworks

	FAQ: Questions from Driver Developers about Windows Driver Foundation (WHDC)
	WDM to KMDF Porting Guide (WHDC)
	Getting Started with Kernel-Mode Driver Framework (WDK)
	Handling Driver Failures (WDK)
	Interpreting Bug Check Codes (WDK)
	Introduction to UMDF (WDK)
	Service User Accounts (MSDN)

Chapter 5: WDF Object Model

	Kernel-Mode Driver Framework Objects (WDK)
	UMDF Objects and Interfaces (WDK)

Chapter 6: Driver Structure and Initialization

	Controlling Device Access in Framework-Based Drivers (WDK)
	Creating Secure Device Installations (WDK)
	Device Interface Classes (WDK)
	DllMain (MSDN)
	SDDL for Device Objects (WDK)
	Securing Device Objects (WDK)
	Using Device Installation Functions (MSDN)
	Using Device Interfaces (WDK)
	Using GUIDs in Drivers (WDK)

Chapter 7: Plug and Play and Power Management

	Plug and Play - Architecture and Driver Support (WHDC)
	PnP and Power Management in Framework-Based Drivers (WDK)
	Supporting PnP and Power Management in UMDF Drivers (WDK)
	USB Power Management (WDK)

Chapter 8: I/O Flow and Dispatching

	Developing Drivers with WDF: News and Update (WHDC)
	I/O Completion/Cancellation Guidelines (WHDC)
	Completing I/O Requests (WDK)
	Handling I/O Requests in Framework-based Drivers (WDK)
	SECURITY_IMPERSONATION_LEVEL (MSDN)

Chapter 9: I/O Targets

	ACCESS_MASK (WDK)
	Handling I/O Requests in Framework-based Drivers (WDK)
	Object Names (WDK)
	Specifying WDF Directives (WDK)
	WinUsb_SetPipePolicy (WDK)
	WINUSB_SETUP_PACKET (WDK)
	ZwCreateFile (WDK)

Chapter 10: Synchronization

	Locks, Deadlocks, and Synchronization (WHDC)
	Synchronization (MSDN)
	Synchronization Techniques (WDK)

Chapter 11: Driver Tracing and Diagnosability

	Adding Event Tracing to Kernel-Mode Drivers (WDK)
	Can I customize DoTraceMessage? (WDK)
	Controlling Event Tracing Sessions (Platform SDK)
	DoTraceMessage (WDK)
	Event Tracing (MSDN)
	Using UUIDGEN.EXE (MSDN)
	WPP Software Tracing (WDK)

Chapter 12: WDF Support Objects

	Allocating System-Space Memory (WDK)
	ExAllocatePoolWithTag (WDK)
	Introduction to WMI (WDK)
	Kernel-Mode Driver Framework Design Guide (WDK)
	PropVariantInit (MSDN)
	Supporting WMI in Framework-based Drivers (WDK)
	User-Mode Driver Framework Design Guide (WDK)
	Windows Management Instrumentation (WDK)

Chapter 13: UMDF Driver Template

	Device Setup Classes (WDK)
	DllMain (MSDN)
	INF AddService Directive (MSDN)

Chapter 14: Beyond the Frameworks

Kernel-Mode Driver Architecture (WDK)

Chapter 15: Scheduling, Thread Context, and IRQL

	Interrupt Architecture Enhancements in Windows Vista (WHDC)
	Microsoft Windows Internals
	Do Waiting Threads Receive Alerts and APCs? (WDK)
	KeRegisterNmiCallback (WDK)
	Locking Pageable Code or Data (WDK)
	PAGED_CODE (WDK)
	PAGED_CODE_LOCKED (WDK)
	Specifying Priority Boosts When Completing I/O Requests (WDK)
	Writing a Bug Check Callback Routine (WDK)

Chapter 16: Hardware Resources and Interrupts

	Interrupt Architecture Enhancements in Windows Vista (WHDC)
	Hardware Abstraction Layer Routines (WDK)
	MmMapIoSpace (WDK)

Chapter 17: Direct Memory Access

	DMA Verification (Driver Verifier) (WDK)
	Handling DMA Operations in Framework-Based Drivers (WDK)

Chapter 18: An Introduction to COM

	Inside COM from Microsoft Press
	ATL documentation (MSDN)
	COM (Platform SDK)
	DllMain (Platform SDK)
	The Interface Definition Language (IDL) File (MSDN)

Chapter 19: How to Build WDF Drivers

	C++ for Kernel Mode Drivers: Pros and Cons (WHDC)
	Build (WDK)
	Build Utility Limitations and Rules (WDK)
	Build Utility Reference (WDK)
	Building and Loading a Framework-based Driver (WDK)
	Building Drivers (WDK)
	Utilizing a sources File Template (WDK)

Chapter 20: How to Install WDF Drivers

	Developing Drivers with the Windows Driver Foundation (WHDC)
	Device Installation Rules for Windows Vista (WHDC)
	Kernel-Mode Code Signing Walkthrough (WHDC)
	Using the Driver Install Framework (DIFx) (WDK)
	Driver Installation white papers (WHDC)
	Driver Signing Requirements for Windows (WHDC)
	Windows Logo Web site
	Distributing Drivers on Windows Update (WHDC)
	Adding the Reflector (WDK)
	ChkINF documentation (WDK)
	Code-Signing Best Practices (WDK)
	Creating a Catalog File for a PnP Driver Package (WDK)
	Creating an INF File (WDK)
	DevCon documentation (WDK)
	Device Installation (WDK)
	Device Installation Design Guide (WDK)
	Device Manager Error Messages (WDK)
	Explanation of error codes generated by Device Manager (MSDN)
	Framework Library Versions (WDK)
	Guidelines for Using SetupAPI (WDK)
	How Setup Selects Drivers (WDK)
	Installing a Framework-based Driver (WDK)
	Installing Just the Checked Operating System and HAL (WDK)
	Installing UMDF Drivers (WDK)
	Troubleshooting Device Installation (WDK)
	Uninstalling Drivers and Devices on Windows Vista (WDK)
	Writing a Device Installation Application (WDK)

Chapter 21: Tools for Testing WDF Drivers

	KernRate and KRView (WHDC)
	Driver Verifier in Windows Vista (WHDC)
	Windows Error Reporting: Getting Started (WHDC)
	Application Verifier
	ChkINF (WDK)
	Compiler for x64 64-Bit Environments (WDK)
	Debugging a Framework-based Driver (WDK)
	DevCon (WDK)
	Device Path Exerciser (WDK)
	Driver Development Tools (WDK)
	Driver Verifier (WDK)
	Driver Verifier Manager (Windows XP and Later) (WDK)
	Handling Driver Failures (WDK)
	Installing Just the Checked Operating System and HAL (WDK)
	Plug and Play Driver Test (WDK)
	PNPCPU (WDK)
	PoolMon (WDK)
	PwrTest (WDK)
	Verifier Command Line (WDK)
	Windows Device Testing Framework (WDK)

Chapter 22: How to Debug WDF Drivers

	Using Checked Builds of Windows (WHDC)
	Debugging Tools for Windows (WHDC)
	Symbols Package (server)
	Symbols Package (WHDC)
	Boot Configuration Data (BCD)
	Boot Options for Driver Testing and Debugging (WDK)
	Installing Just the Checked Operating System and HAL (WDK)
	Trace Message Prefix (WDK)

Chapter 23: PREfast for Drivers

	How to: Specify Additional Code Information (MSDN)
	PREfast for Drivers (WDK)
	Using a Pragma Warning Directive (WDK)

Chapter 24: Static Driver Verifier

	Static Driver Verifier (WHDC)
	Thorough Static Analysis of Device Drivers (EuroSys 2006 conference)
	Defect Viewer (WDK)
	Library Processing in Static Driver Verifier (WDK)
	Microsoft Research: SLAM
	Preparing to Run Static Driver Verifier (WDK)
	Providing a Template for Tech Transfer (MSR)
	Results Pane (WDK)
	Scanning the DriverEntry Routine (WDK)
	Sdv-map.h (WDK)
	Static Driver Verifier (WDK)
	Static Driver Verifier Commands (WDK)
	Static Driver Verifier Limitations (WDK)
	Static Driver Verifier Options File (WDK)

Top of page