Skip to content

Posts tagged ‘embedded’

Can seL4 reduce the cost of satellites? on 2019/11/19

So, the FBI cracked the iPhone. With a zero-day and hardware? on 2016/04/14

Cyber-security: We must and can do better! on 2014/12/22

OK Labs Story (9): The End Game on 2014/10/23

OK Labs Story (8): Competitors and Markets on 2014/10/16

OK Labs Story (5): Qualcomm on 2014/09/25

OK Labs Story (1): The Beginning on 2014/08/29

RIP Open Kernel Labs, Welcome Cog Systems on 2014/08/22

seL4 is finally free! Can you afford not to use it? on 2014/08/17

Clarification on seL4 media reports on 2014/07/30