{'key':'747735702', '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 ', 'link':'https://genode.org', 'title':'Genode Operating System Framework '}