
This is required on the ThunderX CPUs on the Packet.net Type-2A machines that have a GICv3. For some reason the default is to create a GICv2 independent of the host hardware...
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.