But does it run a mainline Linux kernel? I hate how a lot of Hardkernel’s stuff needs custom patches.
But, I dont have one to test - it certainly might ship with a weird hacked up bootloader or something. I do have a board based on an earlier generation Amlogic SoC that I'm quite happy with. Worked well out of the box and has continued to do so.