Hi!
Thank you for the swift reply! super amazing.
So I simply got it from apt-get install arduino-mk. Followed the following video:
Best, Uber