[Cryptech Tech] arm

[Daniel Cegiełka]

2015-01-10 9:14 GMT+01:00 Randy Bush <randy at psg.com>:
> [ repost to tech ]
>
> so we're starting to spec the next gen, an alpha, cryptech board.  a
> custom job with only what we need on it.  the first sketch is at
>
>    https://wiki.cryptech.is/wiki/Hardware
>
> which may move as i edit wiki today.
>
> bunnie sez the board desiners in singapore and taiwan come in flavors
> based on the arm type.  so we kinda have to learn arm types to make a
> decision.
>
> we think we want
>   o no or minimal magic blobs because it's inside the security boundary
>   o support for booting, flash file system, and usb
>   o some speed, but the crypto is done in the fpga
>   o rtos components without rms virus

"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/
https://github.com/seL4/seL4

Daniel


>
> internal gossip is that joachim is using, or has used, coretex + mbed.
> joachim, care to be specific and assert any preferences?
>
> general clue, advice, ...  or pointers to where we might find same?
>
> thanks.
>
> randy
> _______________________________________________
> Tech mailing list
> Tech at cryptech.is
> https://lists.cryptech.is/listinfo/tech