I did a clean install of the ARM64 version of Arduino IDE 2.3.4, but when running it the Tools > Port option was greyed out. Turns out that the serial-discovery and the serial-monitor tool that were installed were both Intel versions instead of Arm versions. Replacing them with the Arm version tools downloaded from Github solved the issue. Did I do something wrong when installing the IDE or is it a mistake in version 2.3.4?
I have an M3 Air, I never heard of Intel by mistake and github for the fix. Give me the Github link so I can figure out what you did.