14 Dec
2016
14 Dec
'16
12:39 p.m.
On 14 Dec 2016, at 12:30 PM, Jeff Waugh jdub@bethesignal.org wrote:
On Wed, Dec 14, 2016 at 11:19 AM, Jeff Waugh <jdub@bethesignal.org mailto:jdub@bethesignal.org> 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…
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.