I5 Processor in Tendua