Respondendo a mim mesmo: encontrei e instalei o seguinte driver beta:
E agora o OpenGL está acelerado.
Eu tenho um HP EliteBook 8540w com uma placa gráfica NVIDIA Quadro FX 1800M. Depois de instalar o Windows 8 (64 bits), o seguinte driver gráfico foi instalado:
NVIDIA Quadro FX 1800M (Microsoft Corporation - WDDM v1.2)
Driver Provider: NVIDIA
Driver Date: 21.06.2012
Driver Version: 9.18.13.286
Digital Signer: Microsoft Windows
Ele está funcionando muito bem, exceto pelo fato de não fornecer qualquer formato de pixel acelerado do OpenGL, isto é, o OpenGL é renderizado usando o renderizador genérico do Windows.
Alguém pode me indicar uma solução para instalar a renderização OpenGL acelerada por hardware?
Respondendo a mim mesmo: encontrei e instalei o seguinte driver beta:
E agora o OpenGL está acelerado.