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