From 7a3dc68f348e0d695e28b85243a6f71cf265fc3e Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 22 Feb 2021 14:49:03 +0100 Subject: [PATCH] vbox5: fix typo --- repos/ports/src/virtualbox5/pdm.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/src/virtualbox5/pdm.cc b/repos/ports/src/virtualbox5/pdm.cc index 9d68d9e17e..e0305b339d 100644 --- a/repos/ports/src/virtualbox5/pdm.cc +++ b/repos/ports/src/virtualbox5/pdm.cc @@ -90,7 +90,7 @@ int PDMR3LdrGetSymbolR3(PVM pVM, const char *pszModule, const char *pszSymbol, * * In this case, it is expected to return the pointer to the symbol * called 'VBoxDriversRegister', which is normally contained in the - * dynamically loaded VBoxDD module. However, we link the driver + * dynamically loaded VBoxDD module. However, we link the drivers * statically to the binary. So we return the local pointer. */ if (Genode::strcmp(pszModule, "VBoxDD") == 0) {