Linux port for the ECO32 architecture