Windows Research Kernel

“The Windows Research Kernel (WRK) packages core Windows XP x64 and Windows Server 2003 SP1 kernel source code with an environment for building and testing experimental versions of the Windows kernel for use in teaching and research.”

The WRK includes the source for:

  • Processes
  • Threads
  • LPC
  • Virtual memory
  • Scheduler
  • Object manager
  • I/O manager
  • Synchronization
  • Worker threads
  • Kernel heap manager
  • Other core Windows (NTOS) kernel functionality

The WRK is useful in design projects that allow your students to explore operating system (OS) principles using the Windows kernel sources. It facilitates the building of experiments and projects based on modifying the Windows kernel, enabling advanced teaching and research that promote better understanding of the Windows architecture and implementation.

20 Comments

  1. 2008-11-18 8:14 pm
    • 2008-11-18 9:36 pm
      • 2008-11-19 2:06 am
        • 2008-11-19 2:45 am
          • 2008-11-20 5:19 am
  2. 2008-11-18 8:19 pm
    • 2008-11-18 8:29 pm
      • 2008-11-18 8:53 pm
        • 2008-11-18 10:05 pm
          • 2008-11-18 10:13 pm
          • 2008-11-18 10:48 pm
          • 2008-11-19 4:58 am
        • 2008-11-20 10:11 pm
          • 2008-11-20 10:33 pm
  3. 2008-11-18 9:56 pm
  4. 2008-11-18 10:09 pm
    • 2008-11-19 12:02 am
      • 2008-11-19 11:02 pm
  5. 2008-11-19 6:48 pm
  6. 2008-11-20 7:00 pm