> On 14 Dec 2016, at 12:30 PM, Jeff Waugh <[email protected]> wrote:
>
> On Wed, Dec 14, 2016 at 11:19 AM, Jeff Waugh <[email protected]
> <mailto:[email protected]>> wrote:
> Out of interest, are there any ARM targets the seL4 development team /
> community care about that do not boot via u-boot or UEFI (whatever the
> implementation, be it u-boot, vendor-supplied, etc)?
>
> Off-list (intentionally or not, but I'll anonymise for now!) someone
> mentioned LK*, which I hadn't previously seen in an seL4 context…
>
> * https://github.com/littlekernel/lk/wiki/Introduction
> <https://github.com/littlekernel/lk/wiki/Introduction>
That was me - just didn’t want to spam the list. LK is used on some ARM mobile
devices, and we are working on a variant that helps with chain of trust and
running production code.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
