Hi Scott,
On 8/5/14, Scott Weisman <sweisman(a)pobox.com> wrote:
> I think this desire is recognized. I remember an initiative some years
> back, started with some enthusiasm, that never got passed the stage of
> deciding on NuttX as the OS to use, and forking it.
>
We got NuttX running on compal phones (Motorola C1xx, W220, etc),
including display support using NuttX's native graphic subsystem. The
code was submitted to NuttX mainline and now it is integrated.
Unfortunately nobody with more knowledge about GSM L1/L2 layers was
available to help in the stack porting. During the porting we got help
from Steve Markgraf.
Now the scenario is more complex, the original "team" is separated and
we don't have spare time to help.
Best Regards,
Alan
Steve Markgraf <steve(a)steve-m.de> wrote:
> I don't quite see how waving the Free Software flag and distributing
> proprietary source from the TSM30/Locosto leaks (pretty much everything
> in freecalypso-sw/gsm-fw/) go together.
That source is NOT proprietary, it is *ex*-proprietary. It *was*
proprietary, but not any more - it is now in the public domain.
Free Software is not just a "flag" to be waved, it is a practical
reality: in *practical* terms, software that is based on ex-proprietary
code that has been liberated through the exercise of Eminent Domain
and subsequently developed and maintained in the manner of a free sw
project gives its users all of the 4 freedoms defined by FSF.
However, I shall leave it here -- any further replies or comments or
questions in this thread will *not* elicit a further reply from me.
But if there is anyone else on this list who desires a usable cellphone
for talking to his or her significant other like I do, please be assured
that I have no plans of dropping the project; the work is progressing
at a steady pace as you can see from the Mercurial commit history, and
I have high hopes of some actually-usable result some time around the
end of 2014.
VLR,
SF
The kernel comes with a hypervisor (under BSD on Githu, too)
and you can run Linux in one virtual environment
(see http://l4linux.org/) and for example an GSM stack in
another virtual environment. So you can think of that kernel
as a kind of virtual machine that seperates the hardware
This way all virtual systems are prooven separated and I think
that is what the merkel-phone does.
owever NICTA is actually going much further. Thei are working
on a zero-bug (verified file system) and much more.
This kind of programming is entirely different from common
way to write a program. (YOU don't write the program, but you
write a proof in Coq or ISABEL ect and from this proof a
programm can be derived automatically)
> Gesendet: Dienstag, 05. August 2014 um 10:50 Uhr
> Von: "Sebastien Lorquet" <sebastien(a)lorquet.fr>
> An: mark.neuhaus(a)email.de
> Betreff: Re: Aw: Re: Re: Re: seL4 is open source now
>
> Hello,
>
> Reading through the se4l FAQ at http://sel4.systems/FAQ/ , I'm reading this:
>
>
> Unique about seL4 is its unprecedented degree of assurance, achieved through
> formal verification. Specifically, the ARM version of seL4 is the first (and
> still only) general-purpose OS kernel with a full code-level functional
> correctness proof, meaning a mathematical proof that the implementation (written
> in C) adheres to its specification. In short, the implementation is proved to be
> bug-free (see below). This also implies a number of other properties, such as
> freedom from buffer overflows, null pointer exceptions, use-after-free, etc.
>
>
> Okay with that. But also:
>
>
> There is a further proof that the binary code which executes on the hardware is
> a correct translation of the C code. This means that the compiler does not have
> to be trusted, and extends the functional correctness property to the binary.
>
>
> So that is very cool, even the binary result is proved, not only the source code !
>
> The only thing that bothers me is: what can I do with this cool software? It
> seems that little can be done without a set of userspace servers, so I guess we
> have to wait until some open source community provides useful software to run
> with this microkernel.
>
> Best regards,
>
> Sébastien Lorquet
>
> Le 02/08/2014 12:49, mark.neuhaus(a)email.de a écrit :
> >
> >> My idea is that at some point, the developers working at xda-developers
> >> (android phone hackers) will get enough knowledge of their baseband
> >> chips so that something can be done with osmocom. But this is only my
> >> opinion!
> >
> > Yes lets hope. The calypso is just to outdated to be interesting
> > for anything 'useable' beyond pure hacking-fun.
> >
>
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
Hi to all,
I reacently try to install and work with OsmocomBB, and I had very strange
situation. Last time I was usien it was 3 years ago.
When I use branch sylvian / test... with TX enabled, phone can not find
any cell avb ?
I tried:
1. Sim remove 1
2. Configure terminal; ms 1; sim test; shutdown; no shutdown
3. sim remove 1
4. network seach
...
and see no network.
On my old compuer with sam phone, seems to me it is working ok?
Any idea about this ?
Milinko
Ravi Sharan <ravisharan(a)iith.ac.in> wrote:
> I am trying out osmocom-bb with the Motorla C115. [...]
< I get the following error:
>
> $ osmocon -p /dev/ttyUSB0 -m c123
> ~/osmocom-bb/src/target/firmware/board/compal_e88/hello_world.compalram.bin
> [snipped the part where everything goes as it should]
> got 1 bytes from modem, data looks like: 1b .
> got 1 bytes from modem, data looks like: f6 .
> got 1 bytes from modem, data looks like: 02 .
> got 1 bytes from modem, data looks like: 00 .
> got 1 bytes from modem, data looks like: 45 E
> got 1 bytes from modem, data looks like: 53 S
> got 1 bytes from modem, data looks like: 16 .
> Received DOWNLOAD NACK from phone, something went wrong :(
Try -m c123xor instead of -m c123.
HTH,
SF
This is a Mailman mailing list bounce action notice:
List: baseband-devel
Member: softwaredefinesradio(a)gmail.com
Action: Subscription disabled.
Reason: Excessive or fatal bounces.
The triggering bounce notice is attached below.
Questions? Contact the Mailman site administrator at
mailman(a)lists.osmocom.org.