Hi! Hope I am asking on the proper forum. It is announced that SBCs with SpacemiT K3 RISC-V CPU boards will be available on market soon. I’m just wondering whether any SBC with this CPU will be supported by the SeL4 kernel as Banana Pi BPI-F3 SCB with SpacemiT K1 CPU is supported.
Thank you!
Hi,
Generally the maintainers of seL4 don’t add ports for new platforms themselves (unless someone pays for it via the seL4 Foundation) so whether or not a K3-based SoC gets supported depends on the community.
The K3 is one of the first RVA23 SoCs so would be nice to have, but I don’t know of anyone working on adding support.
Ivan
I will note that the K3 implements RISC-V AIA which means it has the APLIC as the interrupt controller whereas currently seL4 only supports the PLIC interrupt controller.
According to the AIA spec:
This chapter specifies an Advanced PLIC (APLIC) that is not backward compatible with the earlier RISC-V PLIC
So it should be noted that a port to the K3 will be more involved than a regular RISC-V platform port.
I see. It seems not to be an easy task… Fine, I’ll try to ask to SpacemiT chats too if they are planning to collaborate with SeL4 project to implement needed changes or the collab will remain in SpacemiT K1 cpu.
Thank you for the info and hope you have a nice day!