NixOS on ARM/Scaleway C1: Difference between revisions
imported>Samueldr m Adds {expansion} tag. |
imported>Samueldr m Re-words introductory paragraph + expansion tag. |
||
Line 1: | Line 1: | ||
{{ARM/breadcrumb}} | {{ARM/breadcrumb}} | ||
{{expansion| | {{expansion|Explicit instructions for the C1 servers should be added, once it is working.}} | ||
NixOS | NixOS historically had some support<ref>[https://github.com/NixOS/nixpkgs/blob/67ba83a934dc04c5f7bafec2370e9080b9a2de8f/lib/systems/platforms.nix#L339 lib/systems/platforms.nix]</ref> to work on Scaleway C1 servers. It may be possible to boot a C1 server using the approach described in [[Install NixOS on Scaleway X86 Virtual Cloud Server]]. | ||
At the time of writing (Dec 2017), that servers does not boot the NixOS kernel, although boot the kernel from http://mirror.scaleway.com/kernel/armv7l/4.9.67-mainline-rev1/ | At the time of writing (Dec 2017), that servers does not boot the NixOS kernel, although boot the kernel from http://mirror.scaleway.com/kernel/armv7l/4.9.67-mainline-rev1/ | ||
It is to be investigated the difference between those kernels. | It is to be investigated the difference between those kernels. |
Revision as of 00:06, 3 January 2018
NixOS historically had some support[1] to work on Scaleway C1 servers. It may be possible to boot a C1 server using the approach described in Install NixOS on Scaleway X86 Virtual Cloud Server.
At the time of writing (Dec 2017), that servers does not boot the NixOS kernel, although boot the kernel from http://mirror.scaleway.com/kernel/armv7l/4.9.67-mainline-rev1/
It is to be investigated the difference between those kernels.