There currently aren't any cortex-a35 platforms ported to seL4. There aren't
any design limitations for this, so a GICv2 quad cortex-a35 platform shouldn't be too
difficult to add support for.
With regards to overall system delay lower than 3ms, this is going to depend on what other
user level components you use to build your system. Costs for performing inter-process
communication and context switching are measured in orders of hundreds (or thousands) of
cycles, but the overall cost for processing audio in a system will depend on how the final
system is architected.
From: Devel <devel-bounces(a)sel4.systems> on behalf of Yun Zhou
Sent: Saturday, 26 October 2019 1:35 PM
To: devel(a)sel4.systems <devel(a)sel4.systems>
Subject: [seL4] Fwd: port sel4 to RK3308(quad cortex-a35)
---------- Forwarded message ---------
发件人： Yun Zhou <firstname.lastname@example.org<mailto:email@example.com>>
Date: 2019年10月25日周五 下午9:52
Subject: port sel4 to RK3308(quad cortex-a35)
Dear sel4 Experts
How are you
I found some information about sel4, and sel4 is great microkernel OS, i want port sel4
to RK3308(quad cortex-a35, GICv2) for real time audio signal processing. Form the
Tutorials I found sel4 just support cortex-a53, I would like to ask does sel4 support
cortex-a35 SMP mode. and because our application is real time audio processing so system
delay must lower than 3ms and hard real-time determinism.
Will sel4 support real-time signal processing?
Looking forward to your reply
Thanks &Kind regards