NixOS is the best operating system I absolutely cannot recommend to anyone - Anurag Singh
(www.xda-developers.com)
I plug in the monitor through HDMi, everything freezes.
I reboot, works fine.
I plug out the HDMI, everything freezes.