SEOS-2339: Refactor basic seL4 support for RPi 3 B+ and RPi 4

[FelixSchladt]

Refactor basic seL4 support for RPi 3 B+ and RPi 4

As we have support for two Broadcom BCM SoC platforms (RPi 3 B+, RPi 4) by now that share several hardware peripheral components, it makes sense to refactor the current support by adding a new folder {{bcm}} to

•  {{/libs/sel4_util_libs/libplatsupport/mach_include/}}
• {{/libs/sel4_util_libs/libplatsupport/src/mach/}}

that contains the common baseline for both RPi versions. Therefore, the existing {{libplatsupport}} implementation forboth the BCM2837 SoC and the BCM2711 SoC has to be analysed and refactored accordingly (see also seL4/util_libs#61). An approach that can be used as a reference is provided by the support for the Xilinx Zynq architecture, where both Xilinx Zynq-7000 and Xilinx Zynq UltraScale+ share a common ground within a folder {{zynq}}.

 

DoD

• the required build and run/test scripts are updated
• {{libplatsupport}} is refactored to contain a SoC family ({{bcm}}) and two SoC specific ({{bcm2837}}, {{bcm2711}}) folders to reflect the RPi 3 B+ and the RPi 4 accordingly
• the sel4test suite can be executed successfully on the RPi 4 SBC
• the native seL4 hello world application can be executed successfully on the RPi 4 SBC

Created by

julius ruediger
Created: Thursday, February 11, 2021 10:37 AM UTC+01:00
Updated: Tuesday, March 19, 2024 08:17 PM UTC+01:00

Comments

?

This ticket is moved to blocked since it will not be possible to merge it before I leave the company. More things need to be done. A description of the current state and what needs to be done can be found here: https://wiki.hensoldt-cyber.systems/display/HEN/Tickets+Handover

created: Wednesday, November 24, 2021 11:49 PM UTC+01:00
updated: Wednesday, November 24, 2021 11:49 PM UTC+01:00

sebastian eckl

Was already done as part of mainline seL4 development.

created: Friday, March 15, 2024 02:27 PM UTC+01:00
updated: Friday, March 15, 2024 02:27 PM UTC+01:00

Subtasks