I tried installing Void Linux on HP2. It didn't go well. The install itself went ok, but in the installed operationg system, there was disk thrashing and a complete lock-up when using Firefox. I did a reinstallation and it happened again. The NixOS install went ok. I got rid of NixOS due to a failed upgrade last time. We'll see how it goes.