Hi Vibi,

seL4 does not currently support armv5. We had support on an experimental branch for some time, but we chose not to keep it.

The main reason armv5 is not supported is seL4 does not handle the virtually addressed caches that armv5 platforms are allowed to use. This is in comparison to armv6 and armv7, where the programmer is allowed to assume that the cache behaves live a physically indexed cache.

seL4 also uses instructions that are not part of the armv5 ISA. Equivalents exist, just a matter of crating multiple versions of the code.

I do not know the details of the arm926ej, but if its cache architecture is compatible then porting should be just a matter of converting the newer instructions to armv5 equivalents. If the cache is virtual addressed then some more thought and additional cache operations need to be placed through the kernel.

Adrian

On Sun 08-Nov-2015 7:33 AM, vibi sreenivasan wrote:

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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.