Samsung just released yesterday a brand new, 64-bit ARM platform in their ARTIK lineup, the ARTIK 7. We got our hands on the ARTIK 710 developer board, and happy to announce that it is supported from launch on resin.io. See the more detailed blogpost about this.
Also check out the getting started guide and feel free to post questions at the ARTIK 7 section of this forum.