Armadeus Systems - ARM and FPGA based embedded Linux systems