Re: [seL4] ARM bootloaders that matter

...

...

...

...

"Jeff" == Jeff Waugh writes:

Jeff> Hi all, Out of interest, are there any ARM targets the seL4 Jeff> development team / community care about that do not boot via Jeff> u-boot or UEFI (whatever the implementation, be it u-boot, Jeff> vendor-supplied, We have in the past supported the IFC6410, which uses a different bootloader. But noone as using that for anything serious as far as I know. Peter C Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)