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.
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.