<efraim>I found scaleway.com, inexpensive armv7 hosting online for 3 euro/month, looks like it is possible to install guixsd on it
<mark_weaver>efraim: on the master branch, GuixSD only supports intel machines. on the wip-loongson2f branch, there is experimental support for the Lemote YeeLoong (MIPS based). armhf support in GuixSD doesn't yet exist in any branch.
<mark_weaver>the armv7 board that I have to play with, the Novena, doesn't yet have all of its patches upstream, so I'll need to make another package that inherits from linux-libre, like I did with the YeeLoong.
<mark_weaver>all of the non-Intel machines I've worked on with Guix require non-upstream patches to the kernel, so I personally won't be able to help with the creation of "generic" kernels on non-Intel machines, if that sort of thing is even supported on non-Intel machines (I haven't yet researched that question).
<mark_weaver>civodul: we need to remove xf86-video-intel from xserver.conf on non-intel platforms, because it only builds on intel. what's the best way to do that? xserver.conf is built using 'text-file*' in (gnu services xorg)
<rekado->civodul: thanks. No tarball, unfortunately.
<civodul>mark_weaver: some refactoring is needed there so that the list isn't hard-coded
<civodul>probably using 'gexp->file' instead of 'text-file*'
<civodul>and having a parameter for the list of packages for which a "ModulePath" clause must be added
<civodul>then that list can be made arch-dependent
<mark_weaver>well, I have a fix for core-updates to cope with the bootstrap tar not supporting --sort, but I don't currently have the means to test it. since my X200 is having problems at the moment, I'm currently limited to my YeeLoong.
<mark_weaver>I suppose I could just push it to core-updates and test it that way :)