It is, after all, a single-board computer (SBC) that can run a fully functional operating system. In fact ... All you ...

Presumably, at some point, the IDE or the bootloader will complain if you have the wrong checksum, but that doesn’t appear to be the case now. By the way, according to the Arduino forum ...

Getting it installed is as easy as adding the URL to the Arduino IDE’s Boards Manager interface, though as the video below shows, running it on Linux does require an extra step or two.