On Wed, Dec 14, 2016 at 12:39 PM, Daniel P Potts <[email protected]> wrote:
> 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?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
