Move devicePkgs to the pkgs.nvidia-jetpack package-set and clear up...

README.md

@@ -142,7 +142,7 @@ Current software version is: 35.2.1
 If these versions do not match, you can update your firmware using the UEFI Capsule update mechanism. The procedure to do so is below:
 
 To build a capsule update file, build the
-`config.system.build.jetsonDevicePkgs.uefiCapsuleUpdate` attribute from your NixOS build. For the standard devkit configurations supported in this repository, one could also run (for example),
+`config.system.build.uefiCapsuleUpdate` attribute from your NixOS build. For the standard devkit configurations supported in this repository, one could also run (for example),
 `nix build .#uefi-capsule-update-xavier-nx-emmc-devkit`. This will produce a file that you can scp (no need for `nix copy`) to the device to update.
 
 Once the file is on the device, run:

UPGRADE_CHECKLIST.md

@@ -1,7 +1,7 @@
 ### Updating
-- [ ] Update `l4tVersion`, `jetpackVersion`, and `cudaVersion` in default.nix
+- [ ] Update `l4tVersion`, `jetpackVersion`, and `cudaVersion` in overlay.nix
 - [ ] Update branch/revision/sha256s in:
-    - [ ] `default.nix`
+    - [ ] `overlay.nix`
     - [ ] `kernel/default.nix`
     - [ ] `uefi-firmware.nix`
     - [ ] Grep for "sha256 = ", see if there is anything else not covered