NixOS on ARM/Scaleway C1: Difference between revisions

From NixOS Wiki
imported>Volth
Created page with "NixOS supposes to work on Scaleway C1 servers using approaches similar to described in Install NixOS on Scaleway X86 Virtual Cloud Server At the time of writing (Dec 2017..."
 
imported>Volth
No edit summary
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
NixOS supposes to work on Scaleway C1 servers using approaches similar to described in [[Install NixOS on Scaleway X86 Virtual Cloud Server]]
{{ARM/breadcrumb}}
{{expansion|Explicit instructions for the C1 servers should be added, once it is working.}}
 
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/ using instructions from [[Install_NixOS_on_Scaleway_X86_Virtual_Cloud_Server]] with the only difference in tags:
instead of X86's:
<syntaxhighlight lang="nix">
KEXEC_KERNEL=/boot/nixos-kernel
KEXEC_INITRD=/boot/nixos-initrd
KEXEC_APPEND=init=/boot/nixos-init
</syntaxhighlight>
There should be
<syntaxhighlight lang="nix">
KEXEC_KERNEL=http://mirror.scaleway.com/kernel/armv7l/4.9.93-mainline-rev1/zImage
KEXEC_INITRD=/boot/nixos-initrd
KEXEC_APPEND=init=/boot/nixos-init
</syntaxhighlight>


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.

Latest revision as of 18:28, 9 October 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/ using instructions from Install_NixOS_on_Scaleway_X86_Virtual_Cloud_Server with the only difference in tags: instead of X86's:

KEXEC_KERNEL=/boot/nixos-kernel
KEXEC_INITRD=/boot/nixos-initrd
KEXEC_APPEND=init=/boot/nixos-init

There should be

KEXEC_KERNEL=http://mirror.scaleway.com/kernel/armv7l/4.9.93-mainline-rev1/zImage
KEXEC_INITRD=/boot/nixos-initrd
KEXEC_APPEND=init=/boot/nixos-init


It is to be investigated the difference between those kernels.