02:42
s33se1 has joined #nixos-aarch64
02:45
s33se has quit [Ping timeout: 264 seconds]
03:38
<
dtz >
oh yay someone already got to adding GRV :D
03:58
orivej has quit [Ping timeout: 240 seconds]
07:52
s33se has joined #nixos-aarch64
07:53
s33se has quit [Client Quit]
07:54
s33se1 has quit [Quit: WeeChat 2.0]
07:54
s33se has joined #nixos-aarch64
08:38
efraim has quit [Remote host closed the connection]
08:39
efraim has joined #nixos-aarch64
08:55
<
efraim >
How did you guys start your kernel config? From scratch or borrowed from another distro?
08:55
* efraim
is the defacto aarch64 maintainer for Guix
09:29
Tasqa has joined #nixos-aarch64
12:43
<
andi- >
efraim: that sounds like a valid approach.. on the other hand many boards support mainline kernels these days
12:57
orivej has joined #nixos-aarch64
13:00
<
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