ARM64 unable to install through board manager

[ComputerLag]

Hardware:

Board: ESP32 Dev Module
Core Installation version: 1.04
IDE name: Arduino IDE
Computer OS: Debian Linux
Architecture: aarch64 GNU/Linux
Kernel: 4.19.113-08528-g5803a1c7e9f9

Description:

Unable to install esp32 through board manager. The following error message is displayed:

Debug Messages:

Tool esptool_py is not available for your operating system.

[lbernstone]

ARM64 is not a supported platform in 1.0.4 (IDF 3.3). The toolchain is compiled for ARM64 in the gcc8.2 versions, so this should be available in the next version.

[stale]

[STALE_SET] This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 14 days if no further activity occurs. Thank you for your contributions.

[stale]

[STALE_DEL] This stale issue has been automatically closed. Thank you for your contributions.