diff --git a/hosts/dacbert/default.nix b/hosts/dacbert/default.nix index ed4367dd..7fa2ccd9 100644 --- a/hosts/dacbert/default.nix +++ b/hosts/dacbert/default.nix @@ -76,12 +76,26 @@ trustedUsers = [ "client" ]; extraOptions = '' builders-use-substitutes = true - extra-platforms = armv6l-linux armv7l-linux + extra-platforms = armv6l-linux ''; daemonCPUSchedPolicy = "idle"; daemonIOSchedClass = "idle"; settings.system-features = []; }; + # kernel 32bit personality patch from Ubuntu + boot.kernelPatches = [ + rec { + name = "compat_uts_machine"; + patch = pkgs.fetchpatch { + inherit name; + url = "https://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/jammy/patch/?id=c1da50fa6eddad313360249cadcd4905ac9f82ea"; + sha256 = "sha256-mpq4YLhobWGs+TRKjIjoe5uDiYLVlimqWUCBGFH/zzU="; + }; + } + ]; + boot.kernelParams = [ + "compat_uts_machine=armv6l" + ]; environment = { gnome.excludePackages = with pkgs.gnome; [