I used the SWITCH button to change my device/package/board in SysConfig, however when I saved, closed and reopened the file, it shows the old device/package/board.
When I try to compile the project, I get an error about my PinMux showing me that the SysConfig file is not valid because a GPIO/PIN/Board PIN is not a valid option.
How do I properly switch between the device/package/board?