20:52 <andi-> elvishjerricco: a while back we talked about cross compiling nixos. Do you have a pointer to your previous work on that?

20:53 <elvishjerricco> andi-: Yea I got NixOS compiling to my raspberry pi. I'll try to push that code later tonight

20:54 <elvishjerricco> I've got some older, less good stuff for qemu here though: https://github.com/ElvishJerricco/cross-nixos-aarch64

20:56 <samueldr> elvishjerricco: don't hesitate to ping me when you push

20:57 <andi-> elvishjerricco: thanks :) I just spent a few minuts on thinking about that and my head is a bit dizzy now :D

20:58 <samueldr> (my current mobile-nixos state has a stage-2 cross-compiled from standard nixos things right now)

21:01 <elvishjerricco> I've been trying to get the android-rpi kernel to build for rpi 3 b +. I'm thinking I just need to get a non-plus version, because it's causing all sorts or headaches

21:06 <elvishjerricco> Yea screw it I'm just gonna get the 3 b