Skip to content

Conversation

elliotberman
Copy link
Collaborator

Description of changes

We can check whether the bup for a NixOS configuration matches the machine we're trying to deploy the NixOS system to. This aims to improve user experience: if the firmware doesn't support the expected board, the capsule update will fail and it's not clear why unless you inspect the serial logs.

The check can be manually skipped by setting the
SKIP_TEGRA_COMPAT_CHECK environment variable.

Testing
  • switch-to-configuration with a matching system still works
  • switch-to-configuration with a non-matching system fails:
This machine is not compatible with the platform specs for this NixOS system!
This machine is a: jetson-agx-orin-devkit
This NixOS system supports:  jetson-orin-nano-devkit
Pre-switch check 'jetsonCheckSpecCompatability' failed
Pre-switch checks failed

@elliotberman elliotberman force-pushed the check-tegra-spec-compat branch from e053af0 to 93e7ed7 Compare July 19, 2025 00:14
@elliotberman elliotberman force-pushed the check-tegra-spec-compat branch from 93e7ed7 to 467914b Compare July 29, 2025 20:50
We can check whether the bup for a NixOS configuration matches the
machine we're trying to deploy the NixOS system to. This aims to improve
user experience: if the firmware doesn't support the expected board, the
capsule update will fail and it's not clear why unless you inspect the
serial logs.

The check can be manually skipped by setting the
SKIP_TEGRA_COMPAT_CHECK environment variable.
@elliotberman elliotberman force-pushed the check-tegra-spec-compat branch from 467914b to 86db49a Compare August 15, 2025 20:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants