Red Semiconductor Ltd. is a UK startup designing a family of “auditable” microprocessors based on the Open Power processor instruction set architecture. The processor is intended to run the Linux operating system amongst others and will be able to run x86 code in native mode thanks to emulation capabilities, according…