I’ve discussed quite a lot with some Genesi developers. Here is some things I’ve learnt:
* Basically, iMX515 is supported by linux mainline, except for mtl017 (lcd controller on the smartbook) and siihdmi (hdmi controller in the efikamx smarttop). For now, smartbook users can’t use their screen with the last kernels… for smasttop users their hdmi controler. Apart from that, it would work. They are working on including those missing bits on the mainline kernel branch, to "get that fixed once for all".
* This doesn’t include 3d driver and video acceleration. For that, basically, it’s closed source, they are not (Genesi) allowed to distribute the source, though they have it and thus can package it. Basically, they support Ubuntu and debian (unofficially for debian), so this is working of those distros, with a specific kernel 18.104.22.168.27-efikamx that can be found on github.
* Consequences of that: the xf86-video-imx package is useless on arch, since it’s tied to a proprietary lib (libkgsl) that arch have not (and cannot have, unless genesi would support archlinux which they probably won’t do). It works quite OK with fbdev though, 2d perf is totally acceptable for normal use.
* The linux-imx kernel in arch is then probably working (possibly with the issues explained above, the screen and the hdmi controller). I plan to test that to be sure about it.
To have the 3d working and possibly a bit of video acceleration on arch, the only way is to use the -efikamx kernel, and install all their .debs on archlinux somehow…