NixOS on ARM/Scaleway C1: Difference between revisions

(One intermediate revision by one other user not shown)

Line 1:

{{expansion|~~The wording used makes it hard to know whether it is supposed to work or not; furthermore, explicit~~ instructions for the C1 servers should be added.}}

{{expansion|Explicit instructions for the C1 servers should be added, once it is working.}}

NixOS ~~supposes~~ to work on Scaleway C1 servers using ~~approaches similar to~~ described in [[Install NixOS on Scaleway X86 Virtual Cloud Server]]

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:

KEXEC_KERNEL=/boot/nixos-kernel

KEXEC_INITRD=/boot/nixos-initrd

KEXEC_APPEND=init=/boot/nixos-init

</syntaxhighlight>

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

</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.

@@ Line 1: / Line 1: @@
 {{ARM/breadcrumb}}
-{{expansion|The wording used makes it hard to know whether it is supposed to work or not; furthermore, explicit instructions for the C1 servers should be added.}}
+{{expansion|Explicit instructions for the C1 servers should be added, once it is working.}}
-NixOS supposes to work on Scaleway C1 servers using approaches similar to described in [[Install NixOS on Scaleway X86 Virtual Cloud Server]]
+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.