Sign in
Microsoft.com
 
Resources for IT Professionals
 
 
 
Resources for IT Professionals > Forums Home > Windows Academic Forums > Windows Academic: Kernel > Using wrk on real machine
Ask a questionAsk a question
Search Forums:
 

QuestionUsing wrk on real machine

All Replies

  • Monday, June 15, 2009 10:22 PMNatako Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    you can't boot W2k3 from wrkx86.exe  on physical machine ,it work only on virtual machine.
     
  • Friday, October 30, 2009 4:51 PMA. Schmidt Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    That's not true. You can boot the wrkx86.exe kernel on a physical machine.

    If the wrkx86.exe does not boot on your x86 Windows Server 2003 installation, you may need to do the following (excerpt from the WRK readme):

    - copy the built kernel to %SystemRoot%\system32
    - add a line to the C:\boot.ini file (in the [operating systems] section):
       multi(0)disk(0)rdisk(0)partition(2)\WINDOWS="WRK" /kernel=wrkx86.exe /hal=<halname>
      where <halname> depends on the following section.
    - copy the appropriate multi-processor HAL DLL to the %SystemRoot%\system32 directory. To find out, what HAL you need, go to the %SystemRoot%\system32 directory on the Windows Server 2003 machine you want to boot the kernel from. Right click on hal.dll and select properties. In the properties dialog, select the Version tab and click on Internal Name. In the value section of that tab, you will see the internal name of the DLL. According to that name, you have to copy one of the following files from the WS03SP1HALS\x86 directory of the WRK:

    Internal name                      Needed HAL

    halacpi.dll                               halacpim.dll
    halaacpi.dll                             halmacpi.dll 
    halapic.dll                               halmps.dll   

    After you copied that file, edit the boot.ini file and set the /hal switch to the name of the file you copied. Restart your system and boot the WRK. It should come up now.
    http://www.dcl.hpi.uni-potsdam.de/research/WRK
     
  • Tuesday, November 10, 2009 2:35 PMNosayba Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    I tried all of this steps on my machine, but I couldn't boot  w2k3 from wrk. 
     
  • Thursday, November 12, 2009 9:22 PMA. Schmidt Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    Nosayba,

    I am sorry to hear that.

    In order to better help you, could provide some more details about the operating system you installed on your machine? The WRK requires a strict runtime invironment in order to functin properly.

    Alex
    http://www.dcl.hpi.uni-potsdam.de/research/WRK
     
  • Thursday, November 12, 2009 10:08 PMNosayba Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    Thanks for your replay . I installed windows server 2003 standard edition.
     
  • Friday, November 13, 2009 8:21 AMA. Schmidt Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote
    In order to install the WRK, you need Windows Server 2003 _Enterprise Edition_ with SP1. It is crucial that you have the exact same operating system as the WRK has many dependencies regarding the operating system environment.

    Can you please try to run the WRK again with the different OS and comment on the results?

    Alex
    http://www.dcl.hpi.uni-potsdam.de/research/WRK