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