hello jon.richardsm6bq8,
it’s some confusing that Xavier don’t have Denver cores, but configure file still naming CPU-0,2,4,6 as Denver-0,1,2,3.
back to your original question, it’s not able to configure the minimum CPU frequency for the selected CPU core.