genode/repos/ports/lib/mk/spec/x86_64
Benjamin Lamowski cec7847502 vbox6: add support for Windows BSOD logging
Hitting a BOSD in a Windows guest in Virtualbox 6 leads to calling
 `DBGFR3ReportBugCheck`, which leads to the following error since it is
 unimplemented in our port:

```
 Error: DBGFR3ReportBugCheck: DBGFR3ReportBugCheck called, not implemented, eip=0x1a5c4e4
```

Including the actual method from Virtualbox 6 enables logging
diagnostics for the Windows Blue Screen of Death (BSOD).
To see Blue Screen logging output, enable "dbgf" and "gim" logging
via the `VBOX_LOG` following environment variable in the vbox6 runtime
config.
When manually triggering a BSOD in the Windows guest, this should
produce the following logging diagnostics:

```
GIM: HyperV: Guest indicates a fatal condition! P0=0xe2 P1=0x0 P2=0x0 P3=0x0 P4=0x0
GIMHv: BugCheck e2 {0, 0, 0, 0}
MANUALLY_INITIATED_CRASH
```

Fixes #5099
2024-02-26 08:31:05 +01:00
..
virtualbox6-devices.mk vbox6: basic 3D support 2022-02-15 10:10:01 +01:00
virtualbox6-dis.mk vbox6: shared clipboard service 2021-10-13 14:50:45 +02:00
virtualbox6-shaderlib.mk vbox6: basic 3D support 2022-02-15 10:10:01 +01:00
virtualbox6-sup.mk vbox6: refactor vcpu implementation 2021-04-20 12:03:02 +02:00
virtualbox6-vmm.mk vbox6: add support for Windows BSOD logging 2024-02-26 08:31:05 +01:00