"Jeff" == Jeff Waugh jdub@bethesignal.org 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)