I have found a testable(!),small(!) TCB implementation of TLS. Would it be cool if genode had a verified(!), isolated(!) daemon, that does all things related to external communication, of course encrypted?