seL4 is open source now

Hey, new to the mailing list. Two things: 1.) Probably you know, but in case not: The proven correct, highest security L4 microkernel (seL4) is under GPL since yesterday! In addition useful tools like a compatible hypervisor and dev tools are under BSD, too. See https://sel4.systems/ for general stuff or get the src on https://github.com/seL4/seL4 If I understand your research correctly, you likely have use for such an advanced kernel, to separate BB and APP system in separate containers, running on the same CPU. ... I'm a mathematician and involved in zero-bug-programming aka verified programming used in ultra secure environments and I think that this step of the NICTA research group is just awesome. I'm not entirely sure but I believe that seL4 is already used as the kernel of the "Merkel-phone" used now in Germany. 2.) I'm actually reading through your mailing list, but I have two questions which you are eventually kind to answer: a.) For what baseband chips has OsmocomBB actually working drivers (Layer1 as you call it, I think) and on what chipsets are you working to get the Layer1 in the future? It' pretty hard to get phones with the Calypso these days. b.) Is there a list of actually supported phones? I know the wiki, but non of these phones was available for me anymore. So long. Best, \mark