
7 Nov
2015
7 Nov
'15
9:33 p.m.
Hi, Can any one please let me know whether sel4 is supported on armv5 ? I am specifically looking to run sel4 on arm926ej. Thanks & Best Regards Vibi