kernel choice

[Harald Welte]

As indicated before, we do not have an immediate need for an operating
system at this point.  As long as all we run on the device is our GSM stack
and no application programs (that are in need of a scheduler).

The variety of open source RTOS projects is quite big, and before completing
a comprehensive survey I don't really feel confident of making a choice.

If I remember correctly, contiki seemed much too  big for our needs.  We need
something extremely simple and minimal, basically just a (non-realtime)
scheduler and some minimalistic synchronization primitives like semaphores.
message queues are already a luxury, as is a memory allocator.

-- 
- Harald Welte <laforge at gnumonks.org>           http://laforge.gnumonks.org/
============================================================================
"Privacy in residential applications is a desirable marketing option."
                                                  (ETSI EN 300 175-7 Ch. A6)