513         } else if (os.equals("bsd")) {
 514             setupJVMLibNamesBsd();
 515         } else if (os.equals("darwin")) {
 516             setupJVMLibNamesDarwin();
 517         } else {
 518             throw new RuntimeException("Unknown OS type");
 519         }
 520     }
 521 
 522     //
 523     // Win32
 524     //
 525 
 526     private void setupDebuggerWin32() {
 527         setupJVMLibNamesWin32();
 528 
 529         if (cpu.equals("x86")) {
 530             machDesc = new MachineDescriptionIntelX86();
 531         } else if (cpu.equals("amd64")) {
 532             machDesc = new MachineDescriptionAMD64();


 533         } else {
 534             throw new DebuggerException("Win32 supported under x86 and amd64 only");
 535         }
 536 
 537         // Note we do not use a cache for the local debugger in server
 538         // mode; it will be taken care of on the client side (once remote
 539         // debugging is implemented).
 540 
 541         debugger = new WindbgDebuggerLocal(machDesc, !isServer);
 542 
 543         attachDebugger();
 544 
 545         // FIXME: add support for server mode
 546     }
 547 
 548     private void setupJVMLibNamesWin32() {
 549         jvmLibNames = new String[] { "jvm.dll" };
 550     }
 551 
 552     //
 553     // Linux
 554     //

 513         } else if (os.equals("bsd")) {
 514             setupJVMLibNamesBsd();
 515         } else if (os.equals("darwin")) {
 516             setupJVMLibNamesDarwin();
 517         } else {
 518             throw new RuntimeException("Unknown OS type");
 519         }
 520     }
 521 
 522     //
 523     // Win32
 524     //
 525 
 526     private void setupDebuggerWin32() {
 527         setupJVMLibNamesWin32();
 528 
 529         if (cpu.equals("x86")) {
 530             machDesc = new MachineDescriptionIntelX86();
 531         } else if (cpu.equals("amd64")) {
 532             machDesc = new MachineDescriptionAMD64();
 533         } else if (cpu.equals("aarch64")) {
 534             machDesc = new MachineDescriptionAArch64();
 535         } else {
 536             throw new DebuggerException("Win32 supported under x86, amd64 and aarch64 only");
 537         }
 538 
 539         // Note we do not use a cache for the local debugger in server
 540         // mode; it will be taken care of on the client side (once remote
 541         // debugging is implemented).
 542 
 543         debugger = new WindbgDebuggerLocal(machDesc, !isServer);
 544 
 545         attachDebugger();
 546 
 547         // FIXME: add support for server mode
 548     }
 549 
 550     private void setupJVMLibNamesWin32() {
 551         jvmLibNames = new String[] { "jvm.dll" };
 552     }
 553 
 554     //
 555     // Linux
 556     //