The Edison could be perfect for me if a newer kernel version would be available (i still use 3.10.17-poky-edison+, which is pretty old now).
I'm running a 32bit Archlinux and all updates (without kernel) worked fine until today. Now i get serious problems with systemd-231 (logind and networkd services).
Anybody knows about newer kernel versions? Thanks in advance!