{'link':'https://genode.org', 'key':'747735702', 'title':'Genode Operating System Framework ', 'descr':' The Genode OS framework is an opensource tool kit for building highly secure componentbased operating systems It scales from embedded devices to dynamic generalpurpose computing '}