by lyoko » Sun Oct 18, 2015 4:34 am
on the main page under supported devices there are some exynos 4412devices already supported. try creating sdcard by following the instructions.
my guess is that it won't boot since the device already has emmc as /dev/mmcblk0. booting from /dev/mmcblk1 probably won't happen.
you can always chroot into archlinux. running it on fb0 or another framebuffer.