anchor.diff:      kernelArch = "arm";
       kernelAutoModules = false;
       kernelExtraConfig = ''
  +      # Disable OABI to have seccomp_filter (required for systemd)
  +      # https://github.com/raspberrypi/firmware/issues/651
  +      OABI_COMPAT n
  +    '';
  +    kernelTarget = "zImage";
  +    gcc = {
  +      arch = "armv6";
  +      fpu = "vfp";
  +    };
  +  };
  +
  +  raspberrypi2 = armv7l-hf-multiplatform // {
  +    name = "raspberrypi2";
  +    kernelAutoModules = false;
  +    kernelExtraConfig = ''
         BLK_DEV_RAM y
         BLK_DEV_INITRD y
         BLK_DEV_CRYPTOLOOP m
  
positive.code: 
        # Latencytop
        LATENCYTOP y
      '';
      kernelTarget = "zImage";
      gcc = {
        arch = "armv6";
        fpu = "vfp";
        # TODO(@Ericson2314) what is this and is it a good idea? It was
        # used in some cross compilation examples but not others.
        #
        # abi = "aapcs-linux";
      };
    };
  
    raspberrypi2 = armv7l-hf-multiplatform // {
      name = "raspberrypi2";
      kernelAutoModules = false;
      kernelExtraConfig = ''
        BLK_DEV_RAM y
        BLK_DEV_INITRD y
        BLK_DEV_CRYPTOLOOP m
  
negative.code: 
        FUSE_FS m
  
        # Needed for udev >= 150
        SYSFS_DEPRECATED_V2 n
  
  