Aw: Usefulness of the Calypso (was Re: seL4 is open source now)

Pleae, then tell me where to get phones with a Calypso 
baseband. And I'm talking about marked relevant prices. 
Don't waste my time with numbers like 5000$.

And to be relevant these phones must still be produced so
I can get many, if I want. 

Do you know a source?

Beside, I think its better to work on reverse engineered
GSM stacks like the Qualcom project as started in

https://events.ccc.de/congress/2011/Fahrplan/events/4735.en.html

This would capture a lot of phones, since it seems they
use more or less the same real-time GSM-OS in most (all?) of
their products.

> Gesendet: Dienstag, 05. August 2014 um 20:44 Uhr
> Von: "Michael Spacefalcon" <msokolov@ivan.harhan.org>
> An: baseband.devel@lists.osmocom.org
> Cc: mark.neuhaus@email.de, sebastien@lorquet.fr
> Betreff: Usefulness of the Calypso (was Re: seL4 is open source now)
>
> Someone (not clear who) said:
> 
> > > [...] The calypso is just to outdated to be interesting
> > > for anything 'useable' beyond pure hacking-fun.
> 
> I violently disagree with that statement.  I personally carry a