On Wed, Dec 14, 2016 at 11:19 AM, Jeff Waugh <[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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
