ORBTrace Effort: Open Tool For Professional Debugging

The Orbtrace debugger hardware connected to a development board t hrough a 20-pin ribbon cable. The development board has a green LED shining.

There are some fairly powerful debugging facilities available on today’s microcontrollers — if your code crashes mysteriously, chances are, there’s a debugging interface that could let you track down the …read more Continue reading ORBTrace Effort: Open Tool For Professional Debugging

The first formal verification of a prototype of Arm CCA firmware

As our personal data is increasingly used in many applications from advertising to finance to healthcare, protecting sensitive information has become an essential feature for computing architectures. Applications that process such data must trust the s… Continue reading The first formal verification of a prototype of Arm CCA firmware