View source for Talk:NixOS on ARM/Scaleway C1

: The wording used makes it hard to know whether it is supposed to work or not

It supposed to work (at least ```nixpkgs``` already has ```scaleway-c1``` among ```platform```s).
But it does not work with recent kernels.
It seems that the kernel should be compiled with different options.
This requires further investigations, comparing config of the Debian's kernel with NixOS's, etc
[[User:Volth|Volth]] ([[User talk:Volth|talk]]) 23:42, 2 January 2018 (UTC)

: Thanks, I'm investigating booting a C1 scaleway host right now, I'll update the page with the current status. --[[User:Samueldr|samueldr]] ([[User talk:Samueldr|talk]]) 23:59, 2 January 2018 (UTC)