4 ms·Secure Software Architectures Based on Genode OS Framework and SPARK/Ada7 points by gusthoff 9y agoequalunique 9y agoEpic.