[Nix-dev] VirtualBox causes (host) kernel error "general protection fault: 0000 [#1] SMP"

[Bjørn Forsman]

On 14 August 2013 23:22, Bjørn Forsman <bjorn.forsman at gmail.com> wrote:
[...VirtualBox bug causing kernel error...]
> Aug 14 23:09:55 mini-nixos kernel[1643]: [   22.113874] general protection fault: 0000 [#1] SMP

This is probably the best matching ticket, although it is for version
4.2.12 and not 4.2.16 (currently in NixOS):

https://www.virtualbox.org/ticket/11866