> "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