On Tue, Aug 27, 2024 at 03:02:55PM +0200, Martin Husemann wrote: > It depends on firmware, there may be an option in your BIOS setup to enable > it (but it may be missing if the vendor didn't pay the right license fees). I did not find such an option. -- Emmanuel Dreyfus manu%netbsd.org@localhost