Dynamixel workbench and arduino and jetson nano

HI, I would like to download OpenCM9.04 on Boards Manager of arduino, and the environment is Jetson nano, but error is “Tool opencm_gcc is not available for your operating system”. It is mean I cannot download it on my jetson nano.
So how can I use dynamixel workbench in my arduino of jetson nano?
Thanks!