There is a 64-bit kernel 4.4 using the same CPU here: https://github.com/SamsungARTIK/linux-artik/commits/A710/v4.4 u-boot here: https://github.com/SamsungARTIK/u-boot-artik/tree/A710_os_2.0.0 As far as Nexell is concerned, job done! They have delivered the kernel. Integrating that kernel to work wi...