s33se1 has joined #nixos-aarch64
s33se has quit [Ping timeout: 264 seconds]
<dtz> teehee
<dtz> oh yay someone already got to adding GRV :D
orivej has quit [Ping timeout: 240 seconds]
s33se has joined #nixos-aarch64
s33se has quit [Client Quit]
s33se1 has quit [Quit: WeeChat 2.0]
s33se has joined #nixos-aarch64
efraim has quit [Remote host closed the connection]
efraim has joined #nixos-aarch64
<efraim> How did you guys start your kernel config? From scratch or borrowed from another distro?
* efraim is the defacto aarch64 maintainer for Guix
Tasqa has joined #nixos-aarch64
<andi-> efraim: that sounds like a valid approach.. on the other hand many boards support mainline kernels these days
orivej has joined #nixos-aarch64
<samueldr> afaik, the default aarch64 kernel for nixos is configured like the default x86_64 kernel, enable as much as possible as modules; not sure if there are other options than those used https://github.com/NixOS/nixpkgs/blob/master/lib/systems/platforms.nix#L512
<samueldr> as for other configs I use/used, when the mainline kernel won't work, I generally don't configure the kernel completely, I add options to the configuration locally in the kernel derivation, and generally most of the magic happens in the fork used for building
<samueldr> e.g.: here's what I'm using in an overlay for an armv7l board that still had somme issues with the mainline kernel last year: https://github.com/NixOS/nixpkgs/issues/29569#issuecomment-347023896