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