colin/nix-files
1
0
Fork 1
Code Issues Pull Requests Projects Releases Wiki Activity

add a servo-cross target

Browse Source 
though it looks like rpi4 linux actually fails to cross-compile due to
some RMW page error
This commit is contained in:
colin
2022-11-06 06:04:54 -08:00
parent 77baf03496
commit 10a665d11c
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
flake.nix
View File

@@ -104,7 +104,8 @@
# special cross-compiled variant, to speed up deploys from an x86 box to the arm target # special cross-compiled variant, to speed up deploys from an x86 box to the arm target
# note that these *do* produce different store paths, because the closure for the tools used to cross compile # note that these *do* produce different store paths, because the closure for the tools used to cross compile
# v.s. emulate differ. # v.s. emulate differ.
# so deploying moby-cross and then moby incurs some rebuilding. # so deploying foo-cross and then foo incurs some rebuilding.
machines.servo-cross = decl-bootable-machine { name = "servo"; local = "x86_64-linux"; target = "aarch64-linux"; };
machines.moby-cross = decl-bootable-machine { name = "moby"; local = "x86_64-linux"; target = "aarch64-linux"; }; machines.moby-cross = decl-bootable-machine { name = "moby"; local = "x86_64-linux"; target = "aarch64-linux"; };
machines.rescue = decl-bootable-machine { name = "rescue"; local = "x86_64-linux"; target = "x86_64-linux"; }; machines.rescue = decl-bootable-machine { name = "rescue"; local = "x86_64-linux"; target = "x86_64-linux"; };
in { in {

2
machines/servo/hardware.nix
View File

@@ -7,7 +7,7 @@
# nixos-22.05 linux 5.15 DOES have these now. # nixos-22.05 linux 5.15 DOES have these now.
# it should be possible to remove this if desired, but i'm not sure how the rpi-specific kernel differs. # it should be possible to remove this if desired, but i'm not sure how the rpi-specific kernel differs.
# see: https://github.com/raspberrypi/linux # see: https://github.com/raspberrypi/linux
boot.kernelPackages = pkgs.linuxPackages_rpi4; boot.kernelPackages = pkgs.cross.linuxPackages_rpi4;
# raspberryPi boot loader creates extlinux.conf. # raspberryPi boot loader creates extlinux.conf.
# otherwise, enable the generic-extlinux-compatible loader below. # otherwise, enable the generic-extlinux-compatible loader below.