Windows Academic: Kernel

Questions & Answers regarding the Windows Research Kernel, its architecture, source code and use in teaching and research. 

• 15644
  

  I am running Vista 64 and have come up with a missing msvcr71.dll

  
  elecbanker Monday, 13 July, 2009 10:42 AM
  Last Reply Serge Lidin Monday, 27 July, 2009 10:21 PM
 
• 65324
  

  Can't find "WRKInstall.bat"

  
  mshamma Tuesday, 16 June, 2009 9:14 PM
  Last Reply mshamma Wednesday, 24 June, 2009 9:16 PM
 
• 06097
  

  Master project ideas

  
  Marek Dzikiewicz Saturday, 30 May, 2009 11:47 AM
 
• 35776
  

  How could I know what happen in kernel when I call a user mode API

  
  何宗键 Monday, 20 April, 2009 11:05 AM
  Last Reply A. Schmidt Tuesday, 21 April, 2009 9:03 AM
 
• 35691
  

  Adding system call to WRK Kernel

  
  wangch079 Monday, 23 February, 2009 4:08 PM
  Last Reply A. Schmidt Tuesday, 7 April, 2009 8:28 AM
 
• 46830
  

  Why request administrator rights when connecting USB flash memory..

  
  Leriel Friday, 23 May, 2008 5:01 PM
  Last Reply Shems Thursday, 26 March, 2009 5:30 AM
 
• 04908
  

  ANNOUNCEMENT: WRK NEWS

  
  Serge Lidin Tuesday, 24 March, 2009 8:06 PM
 
• 14226
  

  Privilege problem

  
  aan123 Tuesday, 10 March, 2009 4:53 AM
  Last Reply A. Schmidt Sunday, 22 March, 2009 8:08 PM
 
• 04453
  

  after compiling wrk1.2 just with -Oi (not with -Oxs -Oy-), logon fail(Blue Screen)

  
  chen.shine Monday, 16 March, 2009 6:23 PM
 
• 04057
  

  How to access file which is opened with exclusive access by another process

  
  aan123 Monday, 9 March, 2009 8:44 AM
 
• 04496
  

  Compiling WRK with "Error (E08)"

  
  Kiselev A Wednesday, 4 March, 2009 7:12 AM
 
• 43914
  

  No implementation of IoInvalidateDeviceRelations in WRK

  
  dkg0414 Thursday, 5 February, 2009 9:26 AM
  Last Reply dkg0414 Sunday, 8 February, 2009 6:29 PM
 
• 14644
  

  missing header file base/ntos/mm/i386/mipae.h

  
  rshriram Thursday, 8 January, 2009 2:25 AM
  Last Reply A. Schmidt Thursday, 5 February, 2009 9:20 PM
 
• 03233
  

  This forum has migrated successfully in January 2009

  
  Alicia CalesMicrosoft EmployeeSaturday, 31 January, 2009 12:48 AM
 
• 02568
  

  This forum is moving the week of 1/27/2009

  
  Alicia CalesMicrosoft EmployeeThursday, 22 January, 2009 1:39 PM
 
• 53300
  

  Did anybody try to load a compiled kernel from WRK package?

  
  dkg0414 Thursday, 6 November, 2008 3:24 PM
  Last Reply dkg0414 Saturday, 3 January, 2009 12:06 PM
 
• 23757
  

  debugging kernel in a virtual machine

  
  minamoheb Sunday, 24 February, 2008 9:56 AM
  Last Reply A. Schmidt Friday, 12 December, 2008 5:17 PM
 
• 13008
  

  exclusive access to memory

  
  h3x___ Monday, 17 November, 2008 2:01 PM
  Last Reply A. Schmidt Friday, 12 December, 2008 3:31 PM
 
• 43649
  

  link help! please!

  
  carmes Thursday, 11 October, 2007 9:13 AM
  Last Reply Shems Sunday, 23 November, 2008 11:52 AM
 
• 03351
  

  Alternative User Input

  
  tuenge Thursday, 16 October, 2008 5:43 PM