I've successfully booted the EFIKA and started the debian installer using my ibook G4 as terminal.

An USB to serial adapter including a FT232R chip from FTDI has been used and Zterm as terminal emulator.

A screenshot is available.

Schematics & layout of the FPGA board will be soon available (time to make the web page).

On the software side work is in progress in order to get a direct access (not Virtual Com Port) to FTDI USB device. Their D2XX device driver is not open source and only exists as precompiled module for X86: shame on them.