>>>>> "Jeff" == Jeff Waugh <[email protected]> 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) _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
