Hi all,
I tried to upload the kernel debs to ftp.debian-ports.org, but I'm getting some upload errors, so I uploaded them to
http://www.freevec.org/packages/
the armhf sd card image is finally uploaded here:
http://www.freevec.org/packages/efikamx-armhf.img.xz
it is very recent, includes pbuilder in case one wants to try building packages for armhf. But console only, though gnome/kde packages exist in the repo. Btw, there is no video display support for the smarttop yet, but ssh works. It includes PATA/fb/ethernet/wifi(untested). Default root password: efika, default hostname: efika-armhf
Enjoy
Konstantinos