FYI, I’m no longer maintaining my repo and have sold my device.
BrainWart forked and appears to be continuing support here: GitHub - BrainWart/x13s-nixos: This was/is my first working configuration for my Lenovo X13s
I’ve been maintaining my own fork as well (I have no idea what I’m doing).
- Added
nixos-x13s.wifiMacsetting for wifi MAC address - latest jhovold sc8280xp kernel (Might update later today, have to check IRC. Also no bincache)
There are branches that correlate to jhovold rc versions. I would recommend sticking to jhovold-rc7 for now. I’m about to push jhovold-6.11 which is based off the “final” 6.11 tree which works fine but still needs some work according to IRC.
I also have a flake I’m using as an overlay for latest linux-firmware. There are some updates in there which have drastically improved wifi reliability and power consumption for me (anecdotally).
If anyone is reading this and doesn’t mind the fact that I have no idea what I’m doing, it’s here: GitHub - TheNightmanCodeth/x13s-nixos: I use nix btw
1 Like
sweet. I can give these a gander and report back.
forgive me but what’s the best way given the iso thingy is broken? How do I properly build this and boot? 
Ubuntu works wonderfully so it’d be nice to get NixOS working. Ubuntu has some known issues so it’d be nice to see what happens in nixland but I have no idea how to get this flake to produce something I can boot my machine with. Again, nix can confound certainly