[Cryptech Tech] arm

[Peter Gutmann]

Why not use FreeRTOS? It's quite a nice embedded OS, with a pretty liberal 
license.

(Apologies if this ends up top-posted or something else ugly, sending via a 
nonstandard mailer).

Peter.


On January 10, 2015 10:52:10 PM Randy Bush <randy at psg.com> wrote:

> > "All RTOS components must be free of any GPL-like virus or restrictions "
> > This means that we can not use seL4 kernel?
> > http://sel4.systems/
>
> as sel4 is GPL2, it seems so
>
> the cryptech project is very serious about not restricting use of its
> designs.
>
> randy
> _______________________________________________
> Tech mailing list
> Tech at cryptech.is
> https://lists.cryptech.is/listinfo/tech