- CPU: Intel(R) Core(TM) i7-8750H CPU @ 4.10GHz
- RAM: 32 GB
- HDD: 512 GiB SSD
- Screen: 15.6" FHD(1920x1080) non-touchscreen
- Graphics: NVIDIA Corporation GTX1050 Ti Mobile 4GB GDDR5, with Intel Graphics too.
- Input: trackpad, bluetooth mouse and keyboard
Not much tweaking of NixOS itself was needed. But we currently cannot automate the firmware setup, so this must be done by hand.
These settings are needed both for booting the final install, and installer itself. Therefore, they must be done first.
- Disable Secure Boot (but keep UEFI Boot). Thankfully doing so is as easy as changing any other simple setting.
- Disable Intel hardware RAID and use AHCI instead. Intel doesn't seem to provide a working linux driver for this. (If you just have SSD it's pointless and just slows things down needlessly anyways.)
- Add systemd-boot to UEFI boot list. The (uneditable anyways) settings mapping drive UUIDs to HD* work fine.