55912f3535
I'd like to change the default on x86 platforms to qboot at some point, since it saves a fair bit of startup time.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.