x86_64, i5-7200U, HT off
x86_64, i5-7200U, HT on
x86_64, i5-7200U, HT off
x86_64, i5-7200U, HT off
x86_64, i5-7200U, HT off
VirtualBox host kernel modules have built successfully with kernel-headers-4.19.2-300.fc29.x86_64, VirtualBox VM's are running fine
sudo akmods
Checking kmods exist for 4.19.2-301.fc29.x86_64 [ OK ]
x86_64, i5-7200U, HT off
x86_64, i5-7200U
x86_64, i5-7200U
x86_64, i5-7200U, HT off
x86_64, i5-7200U, HT off
x86_64, i5-7200U, HT off
x86_64, using charon-nm, works for me
x86_64, i5-7200U, HT disabled
x86_64, i5-7200U
x86_64, i5-7200U
x86_64, i5-7200U
x86_64, i5-7200U
x86_64, i5-7200U
x86_64, i5-7200U with embedded GPU, HT on, microcode 0x8e, laptop HP850G4 FC29 with KDE, IPsec and OpenVPN clients tested, VirtualBox working