14 Dec
2016
14 Dec
'16
12:42 p.m.
On Wed, Dec 14, 2016 at 12:39 PM, Daniel P Potts
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.
It was an interesting answer though! :-) Some questions if you're able to answer them: Have you built the bootloading pieces yourself, or using existing code / loading protocol? Do you still use seL4's elfloader?