Slow HP Elitebook 840 laptop ?

I currently use an employer issued HP Elitebook 840 G4-laptop for development work. It has annoyed me. It has bothered me. It has always been totally under-performing, despite its Intel Core i7 CPU, and even with power connected and all Windows power management settings verified to be sane. I didn’t figure out why until recently […]

VirtualBox + Secure Boot + Ubuntu = fail

Here are the steps I did to enable VirtualBox to work properly in Ubuntu with UEFI Secure Boot fully enabled*. The problem is the requirement that all kernel modules must be signed by a key trusted by the UEFI system, otherwise loading will fail. Ubuntu does not sign the third party vbox* kernel modules, but […]