ARM bootloaders that matter
14 Dec
2016
14 Dec
'16
11:19 a.m.
Hi all, 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)? Thanks, Jeff
3388
Age (days ago)
3388
Last active (days ago)
5 comments
4 participants
participants (4)
-
Daniel P Potts -
daniel.potts＠gmail.com
-
Jeff Waugh -
Peter.Chubb＠data61.csiro.au